Joseph Sifakis

Joseph.Sifakis@imag.fr
Tel: (+33) 457 42 22 44

Photo
 
Symbolic Model-checking of Timed Systems
Joseph Sifakis