Stochastic model checking

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

Name	Automation and Control Engineering Series
Publisher	CRC Press
Number	10/24
Volume	24

Keywords

@inbook{3712f6e1db35499dbfbfea4efe55ef4b,

title = "Stochastic model checking",

keywords = "EWI-8234, IR-63706, METIS-237639",

author = "Katoen, \{Joost P.\}",

year = "2006",

month = nov,

language = "Undefined",

isbn = "0-849-39083-4",

series = "Automation and Control Engineering Series",

publisher = "CRC Press (Taylor \& Francis)",

number = "10/24",

pages = "77--104",

editor = "C.G. Cassandras and J. Lygeros",

booktitle = "Stochastic Hybrid Systems",

}