Formal Techniques for Networked and Distributed Systems - FORTE 2006 - Najm, Elie; Donzeau-Gouge, Vaeronique; Donzeau-Gouge, Véronique Viguié; Kanade, Takeo; Pradat-Peyre, Jean-Franecois; Pradat-Peyre, Jean-François; IFIP Working Group 6.1. (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Computer Science (Hardware & Networks)