%0 Journal Article %1 journals/deds/HaverkortT93 %A Haverkort, Boudewijn R. %A Trivedi, Kishor S. %D 1993 %J Discrete Event Dynamic Systems %K dblp %N 2-3 %P 219-247 %T Specification techniques for Markov reward models. %U http://dblp.uni-trier.de/db/journals/deds/deds3.html#HaverkortT93 %V 3

@article{journals/deds/HaverkortT93, added-at = {2019-10-19T00:00:00.000+0200}, author = {Haverkort, Boudewijn R. and Trivedi, Kishor S.}, biburl = {https://www.bibsonomy.org/bibtex/2c4bfdd498abcc72cce0829ff39bec4a1/dblp}, ee = {https://doi.org/10.1007/BF01439850}, interhash = {66c67017c821b776724ae2fb2380a75c}, intrahash = {c4bfdd498abcc72cce0829ff39bec4a1}, journal = {Discrete Event Dynamic Systems}, keywords = {dblp}, number = {2-3}, pages = {219-247}, timestamp = {2019-10-22T11:42:57.000+0200}, title = {Specification techniques for Markov reward models.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds3.html#HaverkortT93}, volume = 3, year = 1993 }