Sifakis, Joseph <br/><br/>
Modeles Temporels des Systemes Logiques  These 
Josefph Sifakis 
 - Grenoble  Universite Scientifique et Medicale de Grenoble  1974 
 - 195 p  Fig  21 cm 
<br/><br/> Contine bibliografie