%0 Conference Paper %1 conf/qest/BackenkohlerBW20 %A Backenköhler, Michael %A Bortolussi, Luca %A Wolf, Verena %B QEST %D 2020 %E Gribaudo, Marco %E Jansen, David N. %E Remke, Anne %I Springer %K dblp %P 155-174 %T Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. %U http://dblp.uni-trier.de/db/conf/qest/qest2020.html#BackenkohlerBW20 %V 12289 %@ 978-3-030-59854-9

@inproceedings{conf/qest/BackenkohlerBW20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Backenköhler, Michael and Bortolussi, Luca and Wolf, Verena}, biburl = {https://www.bibsonomy.org/bibtex/234f126969b057fb139695046dbb205ba/dblp}, booktitle = {QEST}, crossref = {conf/qest/2020}, editor = {Gribaudo, Marco and Jansen, David N. and Remke, Anne}, ee = {https://doi.org/10.1007/978-3-030-59854-9_13}, interhash = {d13e4ae7231f33fbdcf444b861a8d73b}, intrahash = {34f126969b057fb139695046dbb205ba}, isbn = {978-3-030-59854-9}, keywords = {dblp}, pages = {155-174}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:54:08.000+0200}, title = {Bounding Mean First Passage Times in Population Continuous-Time Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2020.html#BackenkohlerBW20}, volume = 12289, year = 2020 }