Symbolic and parametric model checking of discrete-time Markov chains

C.F. Daws

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	Undefined
Title of host publication	Theoretical aspects of computing, ICTAC 2004
Editors	Z. Liu, K Araki
Place of Publication	Berlin
Publisher	Springer
Pages	280-294
ISBN (Print)	3-540-25304-4
Publication status	Published - 2005

Name	3407

Keywords

@inbook{75f0ca79616340c59810169dcdbd6c19,

title = "Symbolic and parametric model checking of discrete-time Markov chains",

keywords = "METIS-233689",

author = "C.F. Daws",

year = "2005",

language = "Undefined",

isbn = "3-540-25304-4",

series = "3407",

publisher = "Springer",

pages = "280--294",

editor = "Z. Liu and K Araki",

booktitle = "Theoretical aspects of computing, ICTAC 2004",

address = "Germany",

}