TY  - CHAP

T1  - Maintaining Cross Viewpoint Consistency using Z

T2  - Open Distributed Processing

UR  - https://doi.org/10.1007/978-0-387-34882-7_32

PY  - 1995/01/01

AU  - Derrick J

AU  - Bowman H

AU  - Steen M

ED  - 

DO  - DOI: 10.1007/978-0-387-34882-7_32

PB  - Springer US

SN  - 9781475760743

SP  - 413

EP  - 424

Y2  - 2025/11/27

ER  -