Symbolic and Parametric Model Checking of Discrete-Time Markov Chains

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	Undefined
Title of host publication	International Colloquium on Theoretical Aspects of Computing
Place of Publication	Guiyang, China
Pages	-
Publication status	Published - 2004
Event	International Colloquium on Theoretical Aspects of Computing: International Colloquium on Theoretical Aspects of Computing - Guiyang, China Duration: 1 Jan 1900 → …

Conference	International Colloquium on Theoretical Aspects of Computing
City	Guiyang, China
Period	1/01/00 → …

Keywords

@inproceedings{db8f9ba32cb741378661635b32140582,

title = "Symbolic and Parametric Model Checking of Discrete-Time Markov Chains",

keywords = "METIS-221397",

author = "C.F. Daws",

year = "2004",

language = "Undefined",

pages = "--",

booktitle = "International Colloquium on Theoretical Aspects of Computing",

note = "International Colloquium on Theoretical Aspects of Computing ; Conference date: 01-01-1900",

}