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