Benoît Barbot, Serge Haddad, Claudine Picaronny. Importance Sampling for Model Checking of Continuous Time Markov Chains.
Proceedings of the 4th International Conference on Advances in System Simulation (SIMUL'12), 2012, Lisbon, Portugal. pp.30-35.
⟨hal-00776563⟩