Skip to main content

Importance Sampling for Model Checking of Continuous Time Markov Chains

Benôıt Barbot‚ Serge Haddad and Claudine Picaronny

Address
Lisbon‚ Portugal
Book Title
Proceedings of (SIMUL'12)
Editor
Petre Dini and Pascal Lorenz
Month
Novembre
Pages
30−35
Publisher
IARIA
Year
2012