J?ri Vain (eds.)

{PDF} Formal Techniques for Networked and Distributed Systems ? FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings Susanne Graf, Sophie Quinton (auth.), John Derrick, J?ri Vain (eds.)