@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/03/11}}}