@conference {394, title = {The Hanoi Omega-Automata Format}, booktitle = {Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV)}, year = {2015}, publisher = {Springer}, organization = {Springer}, author = {Tom{\'a}{\v s} Babiak and Franti{\v s}ek Blahoudek and Alexandre Duret-Lutz and Joachim Klein and Jan K{\v r}etinsk{\'y} and David M{\"u}ller and David Parker and Jan Strej{\v c}ek} }