@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/13}}}