Benutzer: Gast  Login
Autor(en):
Steinhorst, Sebastian; Jesser, Alexander; Hedrich, Lars 
Titel:
Advanced Property Specification for Model Checking of Analog Systems 
Kongress- / Buchtitel:
Proceedings of Analog'06 (9. ITG/GMM-Fachtagung) 
Jahr:
2006 
Monat:
Seiten:
63-68 
Print-ISBN:
978-3800729883