The Hanoi Omega-Automata Format
| Title | The Hanoi Omega-Automata Format |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Babiak, T, Blahoudek, F, Duret-Lutz, A, Klein, J, Křetinský, J, Müller, D, Parker, D, Strejček, J |
| Conference Name | Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV) |
| Publisher | Springer |
Work Package:
WP1
