Improved Algorithms for the Automata-based Approach to Model Checking

Technical Report PDF: 
Technical Report Number: 
2009.111
TitleImproved Algorithms for the Automata-based Approach to Model Checking
Publication TypeJournal Article
Year of Publication2009
AuthorsDoyen, L, Raskin J-F
JournalJournal of Logical Methods in Computer Science