|
[YS02]
H. Younes and R. Simmons.
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling.
In E. Brinksma and K. Larsen (editors), Proc. 14th International Conference on Computer Aided Verification (CAV'02), volume 2404 of LNCS, pages 223--235, Springer.
2002.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|