Sciweavers

Share
QEST
2005
IEEE

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems

10 years 11 days ago
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems
Koushik Sen, Mahesh Viswanathan, Gul A. Agha
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where QEST
Authors Koushik Sen, Mahesh Viswanathan, Gul A. Agha
Comments (0)
books