Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / [electronic resource] :
edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5048 0302-9743 ; .
9783540688556
Método formal (Informática)--Congresos Procesamiento electrónico de datos --Proceso distribuido--Congresos Registro de computadores --Protocolos--Congresos