Validation of stochastic systems

Research output: Book/Report › Book › Scientific

Name	Lecture notes in computer science

Keywords

@book{bb24fff0ed58456bb3d27e3bb12f581d,

title = "Validation of stochastic systems",

keywords = "METIS-218839",

author = "C Baier and Haverkort, \{Boudewijn R.H.M.\} and H. Hermanns and Katoen, \{Joost P.\} and M. Siegle",

year = "2004",

doi = "10.1007/b98484",

language = "English",

isbn = "3-540-22265-0",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}