Improved Algorithms for the Automata-Based Approach to Model-Checking

Technical Report PDF: 
Technical Report Number: 
2007.93
TitleImproved Algorithms for the Automata-Based Approach to Model-Checking
Publication TypeConference Paper
Year of Publication2007
AuthorsDoyen, L, Raskin J-F
Conference NameTACAS