The Hanoi Omega-Automata Format - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein 0001, Jan Kretínský, David Müller 0001, David Parker 0001, Jan Strejcek. The Hanoi Omega-Automata Format. In Daniel Kroening, Corina S. Pasareanu, editors, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Volume 9206 of Lecture Notes in Computer Science, pages 479-486, Springer, 2015. [doi]

This author has not been identified. Look up 'Tomás Babiak' in GoogleThis author has not been identified. Look up 'Frantisek Blahoudek' in GoogleThis author has not been identified. Look up 'Alexandre Duret-Lutz' in GoogleThis author has not been identified. Look up 'Joachim Klein 0001' in GoogleThis author has not been identified. Look up 'Jan Kretínský' in GoogleThis author has not been identified. Look up 'David Müller 0001' in GoogleThis author has not been identified. Look up 'David Parker 0001' in GoogleThis author has not been identified. Look up 'Jan Strejcek' in Google

runs on WebDSL