Benutzer: Gast  Login
Titel:

Model Checking of Analog Systems Using an Analog Specification Language

Autor(en):
Steinhorst, Sebastian; Hedrich, Lars
Kongress- / Buchtitel:
Proceedings of the Conference on Design, Automation and Test in Europe
Jahr:
2008
Monat:
3
Seiten:
324--329
Print-ISBN:
978-3-9810801-3-1
Serientitel:
DATE '08
Volltext / DOI:
doi:10.1145/1403375.1403453
 BibTeX