Sciweavers

ENTCS
2006

Algorithmic Algebraic Model Checking III: Approximate Methods

13 years 11 months ago
Algorithmic Algebraic Model Checking III: Approximate Methods
Venkatesh Mysore, Bud Mishra
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Venkatesh Mysore, Bud Mishra
Comments (0)