%0 Journal Article %1 journals/cj/Haverkort95 %A Haverkort, Boudewijn R. %D 1995 %J Comput. J. %K dblp %N 7 %P 521-529 %T In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. %U http://dblp.uni-trier.de/db/journals/cj/cj38.html#Haverkort95 %V 38

@article{journals/cj/Haverkort95, added-at = {2011-06-28T00:00:00.000+0200}, author = {Haverkort, Boudewijn R.}, biburl = {https://www.bibsonomy.org/bibtex/28b5bf90f8622b63bfa9da54833d16c22/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/38.7.521}, interhash = {80ba411ddc3f6101bcfa863f05b08316}, intrahash = {8b5bf90f8622b63bfa9da54833d16c22}, journal = {Comput. J.}, keywords = {dblp}, number = 7, pages = {521-529}, timestamp = {2011-06-29T16:41:35.000+0200}, title = {In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj38.html#Haverkort95}, volume = 38, year = 1995 }