@inproceedings{4574601,
    Author = {Zhang, Lijun and Hermanns, H. and Moritz Hahn, E. and Wachter, B.},
    BookTitle = {Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on},
    File = {Time-bounded model checking of infinite-state continuous-time Markov chains - Zhang, Hermanns, Moritz Hahn, Wachter (0) (0) - a - a - u.pdf},
    ISSN = {1550-4808},
    Keywords = {continuous-time markov chains},
    Month = {june},
    Pages = {98 -107},
    Title = {Time-bounded model checking of infinite-state continuous-time Markov chains},
    Year = {2008},
    bdsk-url-1 = {http://dx.doi.org/10.1109/ACSD.2008.4574601},
    date-added = {2012-12-10 15:55:13 +0000},
    date-modified = {2012-12-10 15:55:22 +0000},
    doi = {10.1109/ACSD.2008.4574601}
}

@inproceedings{4574601, Author = {Zhang, Lijun and Hermanns, H. and Moritz Hahn, E. and Wachter, B.}, BookTitle = {Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on}, File = {Time-bounded model checking of infinite-state continuous-time Markov chains - Zhang, Hermanns, Moritz Hahn, Wachter (0) (0) - a - a - u.pdf}, ISSN = {1550-4808}, Keywords = {continuous-time markov chains}, Month = {june}, Pages = {98 -107}, Title = {Time-bounded model checking of infinite-state continuous-time Markov chains}, Year = {2008}, bdsk-url-1 = {http://dx.doi.org/10.1109/ACSD.2008.4574601}, date-added = {2012-12-10 15:55:13 +0000}, date-modified = {2012-12-10 15:55:22 +0000}, doi = {10.1109/ACSD.2008.4574601} }