[SVA05]
K. Sen, M. Viswanathan and G. Agha.
On statistical model checking of stochastic systems.
In Proc. 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of LNCS, pages 266–-280, Springer.
2005.
[bib]
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|