Sciweavers

53
Voted
POPL
1992
ACM

Model Checking and Abstraction

15 years 27 days ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where POPL
Authors Edmund M. Clarke, Orna Grumberg, David E. Long
Comments (0)