In Search for Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models

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

Keywords

@article{38a6396243fb470b946fa84dc2911e48,

title = "In Search for Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models",

keywords = "METIS-118796",

author = "Haverkort, \{Boudewijn R.H.M.\}",

year = "1995",

language = "Undefined",

volume = "38",

pages = "521--529",

journal = "Computer journal",

issn = "0010-4620",

publisher = "Oxford University Press",

number = "7",

}