Sciweavers

81
Voted
CADE
2000
Springer

Reducing Model Checking of the Many to the Few

15 years 1 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)