Three-Valued Abstraction for Continuous-Time {M}arkov Chains

TitleThree-Valued Abstraction for Continuous-Time {M}arkov Chains
Publication TypeConference Paper
Year of Publication2007
AuthorsJoost-Pieter Katoen, Klink, D, Leucker, M, Wolf, V
EditorDamm, W, Herrmanns, H
Conference NameProceedings of 19th International Conference on Computer-Aided Verification (CAV'07)
SeriesLecture Notes in Computer Science
Volume4590
PublisherSpringer
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}
}
Postscript: