Simulation for continuous-time Markov chains

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

Research output: Contribution to journalArticleScientificpeer-review

18 Citations (Scopus)
Original languageEnglish
JournalLecture Notes in Artificial Intelligence
Volume2421
Publication statusPublished - 2002
Externally publishedYes

Keywords

  • METIS-211473

Cite this