Sciweavers

QEST
2010
IEEE

Compositional Verification of Probabilistic Systems Using Learning

13 years 10 months ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where QEST
Authors Lu Feng, Marta Z. Kwiatkowska, David Parker
Comments (0)