Is there a best büchi automaton for explicit model checking? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek. Is there a best büchi automaton for explicit model checking?. In Neha Rungta, Oksana Tkachuk, editors, 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. pages 68-76, ACM, 2014. [doi]

This 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 'Mojmír Kretínský' in GoogleThis author has not been identified. Look up 'Jan Strejcek' in Google

runs on WebDSL