Login
- Title:
Formal Verification of Distributed Controllers using Time-Stamped Event Count Automata
- Document type:
- Konferenzbeitrag
- Author(s):
- Kauer, Matthias; Steinhorst, Sebastian; Goswami, Dip; Schneider, Reinhard; Lukasiewycz, Martin; Chakraborty, Samarjit
- Book / Congress title:
- Proceedings of ASP-DAC 2013
- Year:
- 2013
BibTeX