TY  - BOOK

T1  - Formal techniques for networked and distributed systems-- FORTE 2007

PY  - 2007/01/01

AU  - Derrick J

AU  - Vain J

AU  - IFIP WG

ED  - Derrick J

ED  - Vain J

DO  - DOI: 10.1007/978-3-540-73196-2

PB  - Springer-Verlag New York Inc

SN  - 9783540731955

Y2  - 2024/10/23

ER  -