TY  - CONF

T1  - Modelling distributed systems using Z.

JO  - SAC

UR  - https://doi.org/10.1145/315891

PY  - 1995/01/01

AU  - Bowman H

AU  - Derrick J

ED  - Hightower J

ED  - Deaton E

ED  - George KM

ED  - Carroll JH

ED  - Oppenheim D

PB  - ACM

SP  - 147

EP  - 151

Y2  - 2024/10/23

ER  -