conference paper
Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
2011
Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011)
Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction