Sciweavers

ISOLA
2004
Springer

Quantitative Model checking

14 years 4 months ago
Quantitative Model checking
Radu Grosu, Scott A. Smolka
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where ISOLA
Authors Radu Grosu, Scott A. Smolka
Comments (0)