Coupling and Importance Sampling for Statistical Model Checking
Benoît Barbot‚ Serge Haddad and Claudine Picaronny
Book Title
Proceedings of (TACAS'12)
Pages
331−346
Year
2012
Benoît Barbot‚ Serge Haddad and Claudine Picaronny