%0 Conference Paper %1 conf/pnpm/HaverkortM95 %A Haverkort, Boudewijn R. %A van Moorsel, Aad P. A. %B PNPM %D 1995 %I IEEE Computer Society %K dblp %P 206-207 %T Using the probabilistic evaluation tool for the analytical solution of large Markov models. %U http://dblp.uni-trier.de/db/conf/pnpm/pnpm1995.html#HaverkortM95 %@ 0-8186-7210-2

@inproceedings{conf/pnpm/HaverkortM95, added-at = {2023-03-24T00:00:00.000+0100}, author = {Haverkort, Boudewijn R. and van Moorsel, Aad P. A.}, biburl = {https://www.bibsonomy.org/bibtex/2a8d85fe6499c4d73f92fa29652a7a112/dblp}, booktitle = {PNPM}, crossref = {conf/pnpm/1995}, ee = {https://doi.ieeecomputersociety.org/10.1109/PNPM.1995.524331}, interhash = {e79f8cffb66ac3688f0f71391d193304}, intrahash = {a8d85fe6499c4d73f92fa29652a7a112}, isbn = {0-8186-7210-2}, keywords = {dblp}, pages = {206-207}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:13:42.000+0200}, title = {Using the probabilistic evaluation tool for the analytical solution of large Markov models.}, url = {http://dblp.uni-trier.de/db/conf/pnpm/pnpm1995.html#HaverkortM95}, year = 1995 }