TY - DATA AU - Suzuki,Kenji AU - Higashino,Teruo AU - Yasumoto,Keiichi AU - El-Fakih,Khaled ED - SpringerLink (Online service) TI - Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540688556 AV - QA76.9.F67 S99 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Método formal (Informática) KW - Congresos KW - Procesamiento electrónico de datos KW - Proceso distribuido KW - Registro de computadores KW - Protocolos UR - http://dx.doi.org/10.1007/978-3-540-68855-6 ER -