Probabilistic verification of discrete event systems using acceptance sampling (2002)

by H Younes, R Simmons
Venue:Proc. 14th International Conference on Computer Aided Verification (CAV’02), volume 2404 of LNCS