Najm, Elie.,Pradat-Peyre, Jean-Fran?ois.,Donzeau-Gouge, Véronique..Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /.Springer,,c2006..
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /
