Specification and verification of hybrid and real time systems
By: Yassine Lakhnech
Contributors: Universität Kiel
Series: Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel -- Nr. 9609
Publisher: Inst. für Informatik und Praktische Mathematik
Published: 1996
Place of publication: Kiel
Language: eng
Number of pages: 187
Notes: Thesis (doctoral)--Christian-Albrechts-Universität zu Kiel, 1996.