Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction. / Bokor, Péter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj.

Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011). 2011. p. 113-122.

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

Published

Documents

  • LPOR-ASE2011

    Accepted author manuscript, 181 KB, PDF document

Original languageEnglish
Title of host publicationProc. 26th Int. Conf. Automated Software Engineering (ASE 2011)
Pages113-122
DOIs
Publication statusPublished - 2011
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 17558037