Sciweavers

IPPS
2009
IEEE

Efficient large-scale model checking

14 years 6 months ago
Efficient large-scale model checking
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Br
Added 24 May 2010
Updated 24 May 2010
Type Conference
Year 2009
Where IPPS
Authors Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
Comments (0)