Abstraction for Stochastic Systems by {E}rlang's Method of Stages

TitleAbstraction for Stochastic Systems by {E}rlang's Method of Stages
Publication TypeConference Paper
Year of Publication2008
AuthorsJoost-Pieter Katoen, Klink, D, Leucker, M, Wolf, V
Conference NameProceedings of the 19th International Conference on Concurrency Theory (CONCUR'08)
SeriesLecture Notes in Computer Science
Volume5201
PublisherSpringer
Conference LocationToronto, 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}
}