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