Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Althoff, M.; Grebenyuk, D.; Kochdumper, N. 
Titel:
Implementation of Taylor Models in CORA 2018 
Kongress- / Buchtitel:
Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems 
Jahr:
2018 
Seiten:
145-173