Model Checking Continuous-Time Markov Chains by Transient Analysis

From International Center for Computational Logic

Toggle side column

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
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
@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}
}