Jean-Francois Pradat-Peyre profile picture

Jean-Francois Pradat-Peyre

Is this your author profile? Create an account to claim and customize it!

Stand Alone

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