@InProceedings{BBDL+15,
author={Tom\'{a}\v{s} Babiak and Franti\v{s}ek Blahoudek and Alexandre Duret-Lutz and Joachim Klein and Jan K{\v r}et{\'{\i}}nsk{\'{y}} and David M{\"u}ller and David Parker and Jan Strej\v{c}ek},
title={The Hanoi Omega-Automata Format},
booktitle={Proc. 27th International Conference on Computer Aided Verification (CAV'15)},
year={2015},

editors={},
pages={479-486},
organization={},
publisher={Springer},
series={LNCS},
volume={9206},
address={},
month={},
note={},
key={}
}