%0 Conference Paper %1 conf/cpe/RaczTT00 %A Rácz, Sándor %A Tóth, Béla P. %A Telek, Miklós %B Computer Performance Evaluation / TOOLS %D 2000 %E Haverkort, Boudewijn R. %E Bohnenkamp, Henrik C. %E Smith, Connie U. %I Springer %K dblp %P 337-340 %T MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models. %U http://dblp.uni-trier.de/db/conf/cpe/cpe2000.html#RaczTT00 %V 1786 %@ 3-540-67260-5

@inproceedings{conf/cpe/RaczTT00, added-at = {2017-05-21T00:00:00.000+0200}, author = {Rácz, Sándor and Tóth, Béla P. and Telek, Miklós}, biburl = {https://www.bibsonomy.org/bibtex/2f5eab7b9ed2826c715fed16c42ef4e68/dblp}, booktitle = {Computer Performance Evaluation / TOOLS}, crossref = {conf/cpe/2000}, editor = {Haverkort, Boudewijn R. and Bohnenkamp, Henrik C. and Smith, Connie U.}, ee = {https://doi.org/10.1007/3-540-46429-8_26}, interhash = {64b649778e7c8df45a6d4dc8704ba0cd}, intrahash = {f5eab7b9ed2826c715fed16c42ef4e68}, isbn = {3-540-67260-5}, keywords = {dblp}, pages = {337-340}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:33:30.000+0200}, title = {MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models.}, url = {http://dblp.uni-trier.de/db/conf/cpe/cpe2000.html#RaczTT00}, volume = 1786, year = 2000 }