The Hanoi Omega-Automata Format

TitleThe Hanoi Omega-Automata Format
Publication TypeConference Paper
Year of Publication2015
AuthorsBabiak, T, Blahoudek, F, Duret-Lutz, A, Klein, J, Křetinský, J, Müller, D, Parker, D, Strejček, J
Conference NameProc. of the 27th Conference on Computer Aided Verification, Part I (CAV)
PublisherSpringer
Work Package: 
WP1