Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings - FORTE 2006 (2006 : Paris, France); Najm, Elie.; Donzeau-Gouge, Veronique; Pradat-Peyre, Jean-Francois.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Formal methods (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses; Computer Science; Computer Communication Networks; Logics and Meanings of Programs; Operating Systems; Software Engineering