- 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