Formal Techniques for Networked and Distributed Systems FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /

por Derrick, John.
Publicado 2007