Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction

Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri

Research output: Chapter in Book/Report/Conference proceedingConference contribution

71 Downloads (Pure)
Original languageEnglish
Title of host publicationProc. 26th Int. Conf. Automated Software Engineering (ASE 2011)
Pages113-122
DOIs
Publication statusPublished - 2011

Cite this