Infoscience

Conference paper

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

Related material