Model Checking Continuous-Time Markov Chains by Transient Analysis
From International Center for Computational Logic
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
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
- Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@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}
}