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