लेखक: Jean-Francois Pradat-Peyre

Veronique Viguie Donzeau-Gouge & Elie Najm: Formal Techniques for Networked and Distributed Systems – FORTE 2006