cfaed Publications
The Hanoi Omega-Automata Format
Reference
František Blahoudek Tomáš Babiak, Jan Strej\vcek, "The Hanoi Omega-Automata Format" , In Proceeding: Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV), Springer, vol. 9206, pp. 479–486, 2015.
Bibtex
@inproceedings{BBDKKMPS15,
author = {Tom{\'{a}}{\v{s}} Babiak, Franti{\v{s}}ek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan K{\v{r}}et{\'{\i}}nsk{\'{y}}, David M{\"u}ller, David Parker, and Jan Strej{\v{c}}ek},
title = {The {H}anoi Omega-Automata Format},
booktitle = {Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV)},
year = {2015},
pages = {479--486},
series = {Lecture Notes in Computer Science},
volume = {9206},
publisher = {Springer},
ee = {http://dx.doi.org/10.1007/978-3-319-21690-4_31}
}
author = {Tom{\'{a}}{\v{s}} Babiak, Franti{\v{s}}ek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan K{\v{r}}et{\'{\i}}nsk{\'{y}}, David M{\"u}ller, David Parker, and Jan Strej{\v{c}}ek},
title = {The {H}anoi Omega-Automata Format},
booktitle = {Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV)},
year = {2015},
pages = {479--486},
series = {Lecture Notes in Computer Science},
volume = {9206},
publisher = {Springer},
ee = {http://dx.doi.org/10.1007/978-3-319-21690-4_31}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1244