DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-21690-4_31,1601,"ToHe,KrCh",The Hanoi omega-automata format