Abstraction for Stochastic Systems by {E}rlang's Method of Stages
| Title | Abstraction for Stochastic Systems by {E}rlang's Method of Stages |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Joost-Pieter Katoen, Klink, D, Leucker, M, Wolf, V |
| Conference Name | Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08) |
| Series | Lecture Notes in Computer Science |
| Volume | 5201 |
| Publisher | Springer |
| Conference Location | Toronto, Canada |
Bibtex:
@inproceedings {KKLW08,
title = {Abstraction for Stochastic Systems by {E}rlang{\textquoteright}s Method of Stages},
booktitle = {Proceedings of the 19th International Conference on Concurrency Theory (CONCUR{\textquoteright}08)},
series = {Lecture Notes in Computer Science},
volume = {5201},
year = {2008},
publisher = {Springer},
organization = {Springer},
address = {Toronto, Canada},
author = {Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf}
}PDF:
