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


Published in:
Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011), 113-122
Presented at:
26th Int. Conf. Automated Software Engineering, Lawrence, KS, USA, November 6–10, 2011
Year:
2011
Publisher:
IEEE
Keywords:
Laboratories:




 Record created 2011-07-25, last modified 2018-01-28

External link:
Download fulltext
Postprint
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)