cfaed Publications

The Hanoi Omega-Automata Format

Reference

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek, "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}}s Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kret{\'{\i}}nsk{\'{y}}, David M{\"u}ller, David Parker, Jan Strejcek},
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=1245


Go back to publications list