@inproceedings{inproceedings, title  = {{Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings}},

 publisher = {{Springer}},

 url = {{}},

 year = {{2007}},

 month = {{1}},

 author = {{}},

 isbn = {{978-3-540-73195-5}},

 volume = {{4574}},

 journal = {{FORTE}},

 note = {{Accessed on 2024/10/23}}}