Formal Techniques for Networked and Distributed Systems [Recurso electrónico] : FORTE 2001 IFIP TC6/WG6.1 â€{u0CB1}st International Conference on Formal Techniques for Networked and Distributed Systems August 28â€{u3C6C} 2001, Cheju Island, Korea / edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee.
By: Kim, Myungchul
Contributor(s): Chin, Byoungmoon | Kang, Sungwon | Lee, Danhyung | SpringerLink (Online service)
Material type:
No physical items for this record
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
There are no comments for this item.