Formal Techniques for Networked and Distributed Systems – FORTE 2008 [Risorsa elettronica] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

• Record Nr.: UNINA990009253390403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2008
• ISBN: 9783540688556
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 5048
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia