Skip to main content

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