Sciweavers

CADE
2000
Springer

Reducing Model Checking of the Many to the Few

14 years 3 months ago
Reducing Model Checking of the Many to the Few
E. Allen Emerson, Vineet Kahlon
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CADE
Authors E. Allen Emerson, Vineet Kahlon
Comments (0)