About this scholarly article

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Supporting domain-specific state space reductions through local partial-order reduction by Bokor, Peter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj is a scholarly article available to read on EtoBox.

Author

Bokor, Peter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj

Publisher

IEEE

Published

2011

Language

EN