Sciweavers

CAV
2001
Springer

Symmetry and Reduced Symmetry in Model Checking

14 years 5 months ago
Symmetry and Reduced Symmetry in Model Checking
A. Prasad Sistla, Patrice Godefroid
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where CAV
Authors A. Prasad Sistla, Patrice Godefroid
Comments (0)