Simulation for continuous-time Markov chains

C Baier, Joost P. Katoen, H. Hermanns, Boudewijn R.H.M. Haverkort

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Journal	Lecture Notes in Artificial Intelligence
Volume	2421
Publication status	Published - 2002
Externally published	Yes

Keywords

@article{06c9a262fb6248c8a75fb34d1cb1b21f,

title = "Simulation for continuous-time Markov chains",

keywords = "METIS-211473",

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

note = "Boektitel: Concurrency Theory pp.338-354",

year = "2002",

language = "English",

volume = "2421",

journal = "Lecture Notes in Artificial Intelligence",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}