Matthias Kauer, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider 0001, Martin Lukasiewycz, Samarjit Chakraborty. Formal verification of distributed controllers using Time-Stamped Event Count Automata. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 411-416, IEEE, 2013. [doi]
@inproceedings{KauerSGSLC13,
title = {Formal verification of distributed controllers using Time-Stamped Event Count Automata},
author = {Matthias Kauer and Sebastian Steinhorst and Dip Goswami and Reinhard Schneider 0001 and Martin Lukasiewycz and Samarjit Chakraborty},
year = {2013},
doi = {10.1109/ASPDAC.2013.6509631},
url = {http://dx.doi.org/10.1109/ASPDAC.2013.6509631},
researchr = {https://researchr.org/publication/KauerSGSLC13},
cites = {0},
citedby = {0},
pages = {411-416},
booktitle = {18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013},
publisher = {IEEE},
isbn = {978-1-4673-3029-9},
}