Three-Valued Abstraction for Continuous-Time {M}arkov Chains
| Title | Three-Valued Abstraction for Continuous-Time {M}arkov Chains |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Joost-Pieter Katoen, Klink, D, Leucker, M, Wolf, V |
| Editor | Damm, W, Herrmanns, H |
| Conference Name | Proceedings of 19th International Conference on Computer-Aided Verification (CAV'07) |
| Series | Lecture Notes in Computer Science |
| Volume | 4590 |
| Publisher | Springer |
Bibtex:
@inproceedings {KKLW07,
title = {Three-Valued Abstraction for Continuous-Time {M}arkov Chains},
booktitle = {Proceedings of 19th International Conference on Computer-Aided Verification (CAV{\textquoteright}07)},
series = {Lecture Notes in Computer Science},
volume = {4590},
year = {2007},
pages = {316{\textendash}329},
publisher = {Springer},
organization = {Springer},
author = {Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf},
editor = {Werner Damm and Holger Herrmanns}
}PDF:
Postscript:
