Sciweavers

CAV
2003
Springer

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

14 years 4 months ago
Evidence Explorer: A Tool for Exploring Model-Checking Proofs
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CAV
Authors Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
Comments (0)