Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / [electronic resource] :
edited by John Derrick, Jüri Vain.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4574 0302-9743 ; .
9783540731962
Método formal (Informática)--Congresos Procesamiento electrónico de datos--Proceso distribuido--Congresos Redes de computadores --Protocolos--Congresos