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