Login
- Titel:
STL model checking of continuous and hybrid systems
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- H. Roehm, J. Oehlerking, T. Heinz, and M. Althoff
- Kongress- / Buchtitel:
- Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
- Jahr:
- 2016
BibTeX