Efficient CTMC Model Checking of Linear Real−Time Objectives
Benoît Barbot‚ Taolue Chen‚ Tingting Han‚ Joost−Pieter Katoen and Alexandru Mereacre
Book Title
Proceedings of (TACAS'11)
Pages
128−142
Year
2011
Benoît Barbot‚ Taolue Chen‚ Tingting Han‚ Joost−Pieter Katoen and Alexandru Mereacre