Joseph Sifakis

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

Photo
 
The Algebra of Timed Processes - ATP
Joseph Sifakis