Model Checking Continuous-Time Markov Chains by Transient Analysis

Christel BaierChristel Baier, Boudewijn R. HaverkortBoudewijn R. Haverkort, Holger HermannsHolger Hermanns, Joost-Pieter KatoenJoost-Pieter Katoen

DOI Link

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model Checking Continuous-Time Markov Chains by Transient Analysis
12th International Conference on Computer Aided Verification (CAV), volume 1855 of Lecture Notes in Computer Science, 358--372, 2000. Springer

Details
Bibtex

Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/10722167_28.

@inproceedings{BHHK2000,
  author    = {Christel Baier and Boudewijn R. Haverkort and Holger Hermanns and
               Joost-Pieter Katoen},
  title     = {Model Checking Continuous-Time Markov Chains by Transient
               Analysis},
  booktitle = {12th International Conference on Computer Aided Verification
               (CAV)},
  series    = {Lecture Notes in Computer Science},
  volume    = {1855},
  publisher = {Springer},
  year      = {2000},
  pages     = {358--372},
  doi       = {10.1007/10722167_28}
}