Model checking action- and state-labelled Markov chains

Research output: Other contribution

Keywords

@misc{4033e6c3a112409e9bb3066047b232db,

title = "Model checking action- and state-labelled Markov chains",

keywords = "METIS-218831",

author = "L. Cloth and C Baier and M. Kuntz and M. Siegle and Haverkort, \{Boudewijn R.H.M.\}",

year = "2004",

month = jun,

day = "28",

language = "English",

isbn = "0-7695-2052-9",

publisher = "IEEE Computer Society",

address = "United States",

type = "Other",

}