Paper: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (at LICS 2009)
Authors: Taolue Chen Tingting Han Joost-Pieter Katoen Alexandru Mereacre
Abstract
No Abstract Available
BibTeX
@InProceedings{ChenHanKatoenMereac-QuantitativeModelCh, author = {Taolue Chen and Tingting Han and Joost-Pieter Katoen and Alexandru Mereacre}, title = {Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications}, booktitle = {Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009)}, year = {2009}, month = {August}, pages = {309--318}, location = {Los Angeles, California, USA}, publisher = {IEEE Computer Society Press} }