Sciweavers

TOCL
2012

Model Checking of Recursive Probabilistic Systems

12 years 2 months ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
Added 29 Sep 2012
Updated 29 Sep 2012
Type Journal
Year 2012
Where TOCL
Authors Kousha Etessami, Mihalis Yannakakis
Comments (0)