- Title:
Model Checking of Analog Systems Using an Analog Specification Language
- Author(s):
- Steinhorst, Sebastian; Hedrich, Lars
- Book / Congress title:
- Proceedings of the Conference on Design, Automation and Test in Europe
- Year:
- 2008
- Month:
- 3
- Pages:
- 324--329
- Print-ISBN:
- 978-3-9810801-3-1
- Bookseries title:
- DATE '08
- Fulltext / DOI:
- doi:10.1145/1403375.1403453
- BibTeX