Probabilistic Verification of Discrete Event Systems using Acceptance Sampling (2002)

Cached

Download Links

by Håkan L. S. Younes , H˚akan L. S. Younes , Reid G. Simmons
Venue:In Proc. 14th International Conference on Computer Aided Verification, volume 2404 of LNCS
Citations:75 - 10 self