Loading...
conference paper
Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
2011
Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011)
Loading...
Name
LPOR-CR.pdf
Type
Postprint
Access type
openaccess
Size
180.85 KB
Format
Adobe PDF
Checksum (MD5)
80a5869fbb3b740dbca6873a4e3da5b3