- Author(s):
- Steinhorst, Sebastian; Jesser, Alexander; Hedrich, Lars
- Title:
- Advanced Property Specification for Model Checking of Analog Systems
- Book / Congress title:
- Proceedings of Analog'06 (9. ITG/GMM-Fachtagung)
- Year:
- 2006
- Month:
- 9
- Pages:
- 63-68
- Print-ISBN:
- 978-3800729883
- BibTeX