Skip to main content

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