Jean-Francois Pradat-Peyre

• Formal Techniques for Networked and Distributed Systems - FORTE 2006