On the complexity of partial order trace model checking

Technical Report PDF: 
Technical Report Number: 
2008.96
TitleOn the complexity of partial order trace model checking
Publication TypeJournal Article
Year of Publication2008
AuthorsMassart, T, Meuter C, Van Begin L
JournalInf. Process. Lett.
Volume106
Pagination120-126