%0 Conference Paper %1 conf/qest/DalyBS06 %A Daly, David %A Buchholz, Peter %A Sanders, William H. %B QEST %D 2006 %I IEEE Computer Society %K dblp %P 243-252 %T Bound-Preserving Composition for Markov Reward Models. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#DalyBS06 %@ 0-7695-2665-9

@inproceedings{conf/qest/DalyBS06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Daly, David and Buchholz, Peter and Sanders, William H.}, biburl = {https://www.bibsonomy.org/bibtex/20a505e326615247e3f880ad976437f36/dblp}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2006.8}, interhash = {56e47373ea65fb816e120ecf88f5ba16}, intrahash = {0a505e326615247e3f880ad976437f36}, isbn = {0-7695-2665-9}, keywords = {dblp}, pages = {243-252}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:58.000+0200}, title = {Bound-Preserving Composition for Markov Reward Models.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#DalyBS06}, year = 2006 }