Benutzer: Gast  Login
Autor(en):
Bak, S.; Bogomolov, S.; Althoff, M. 
Titel:
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata 
Kongress- / Buchtitel:
Proc. of the 15th International Conference on Formal Modelling and Analysis of Timed Systems 
Jahr:
2017