Title: | Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling |
---|---|
Links: | Document as Postscript Document as PDF |
Authors: | H.L.S. Younes |
R.G. Simmons | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{02YS, AUTHOR = { Younes, H.L.S. and Simmons, R.G. }, TITLE = { Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling }, BOOKTITLE = { Proceedings of the 14th International Conference on Computer Aided Verification }, YEAR = { 2002 }, PUBLISHER = { Springer }, PAGES = { 265--279 }, SERIES = { lncs }, VOLUME = { 2404 }, MONTH = { July }, EDITOR = { Ed Brinksma and Kim G. Larsen }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.