Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Kauer, Matthias; Steinhorst, Sebastian; Goswami, Dip; Schneider, Reinhard; Lukasiewycz, Martin; Chakraborty, Samarjit 
Titel:
Formal Verification of Distributed Controllers using Time-Stamped Event Count Automata 
Kongress- / Buchtitel:
Proceedings of ASP-DAC 2013 
Jahr:
2013