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}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1244


Go back to publications list