Benutzer: Gast  Login
Autor(en):
Roehm, H.; Oehlerking, J.; Heinz, T.; Althoff, M. 
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 
Seiten:
412-427