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