%0 Conference Paper %1 conf/tacas/MeyerEO19 %A Meyer, Philipp J. %A Esparza, Javier %A Offtermatt, Philip %B TACAS (2) %D 2019 %E Vojnar, Tomás %E Zhang, Lijun %I Springer %K dblp %P 154-171 %T Computing the Expected Execution Time of Probabilistic Workflow Nets. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2019-2.html#MeyerEO19 %V 11428 %@ 978-3-030-17465-1

@inproceedings{conf/tacas/MeyerEO19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Meyer, Philipp J. and Esparza, Javier and Offtermatt, Philip}, biburl = {https://www.bibsonomy.org/bibtex/24d13083094aae6bb2b49c10b973dc253/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2019-2}, editor = {Vojnar, Tomás and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-030-17465-1_9}, interhash = {a773ba808471b8d849e60d4f14e2de79}, intrahash = {4d13083094aae6bb2b49c10b973dc253}, isbn = {978-3-030-17465-1}, keywords = {dblp}, pages = {154-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:04:43.000+0200}, title = {Computing the Expected Execution Time of Probabilistic Workflow Nets.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-2.html#MeyerEO19}, volume = 11428, year = 2019 }