Sciweavers

ERSHOV
2003
Springer

Polynomial Approximations for Model Checking

14 years 4 months ago
Polynomial Approximations for Model Checking
Nikolay V. Shilov, Natalya Olegovna Garanina
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ERSHOV
Authors Nikolay V. Shilov, Natalya Olegovna Garanina
Comments (0)