TY  - CHAP

T1  - Maintaining Cross Viewpoint Consistency using Z

T2  - Open Distributed Processing

PY  - 1995/02/03

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  - 2024/10/23

ER  -