TY  - CONF

T1  - Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

JO  - FORTE

PY  - 2007/01/01

AU  - 

ED  - Derrick J

ED  - Vain J

PB  - Springer

SN  - 978-3-540-73195-5

VL  - 4574

Y2  - 2024/12/22

ER  -