[Zurück]
Joseph Sifakis
École Polytechnique Fédérale de Lausanne