@book{book, title = {{Formal techniques for networked and distributed systems-- FORTE 2007}},
publisher = {{Springer-Verlag New York Inc}},
url = {{}},
year = {{2007}},
month = {{1}},
author = {{Derrick J and Vain J and IFIP WG}},
doi = {{10.1007/978-3-540-73196-2}},
isbn = {{9783540731955}},
note = {{Accessed on 2025/07/29}}}