Modèles temporels des systèmes logiques
By: Joseph Sifakis
Published: 1974
Language: fre
Number of pages: 195
Notes: Thesis (doctoral)--Université de Grenoble, 1974.