TY  - EDBOOK

T1  - Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

PY  - 2001/10/01

AU  - Bowman H

AU  - Derrick J

ED  - Bowman H

ED  - Derrick J

PB  - Cambridge Univ Press

SN  - 9780521771849

Y2  - 2024/12/22

ER  -