Erratum to: Model-checking continuous-time Markov chains by Aziz et al
Logic in Computer Science
2011-02-11 v1
Abstract
This note corrects a discrepancy between the semantics and the algorithm of the multiple until operator of CSL, like in Pr_{> 0.0025} (a until[1,2] b until[3,4] c), of the article: Model-checking continuous-time Markov chains by Aziz, Sanwal, Singhal and Brayton, TOCL 1(1), July 2000, pp. 162-170.
Cite
@article{arxiv.1102.2079,
title = {Erratum to: Model-checking continuous-time Markov chains by Aziz et al},
author = {David N. Jansen},
journal= {arXiv preprint arXiv:1102.2079},
year = {2011}
}