Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006.

Elie Najm Jean-François Pradat-Peyre Véronique Donzeau-Gouge Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Lecture Notes in Computer Science 4229 Springer 2006 3-540-46219-8 FORTE db/conf/forte/forte2006.html