%0 Conference Paper %1 conf/qest/HartmannsKKS21 %A Hartmanns, Arnd %A Katoen, Joost-Pieter %A Kohlen, Bram %A Spel, Jip %B QEST %D 2021 %E Abate, Alessandro %E Marin, Andrea %I Springer %K dblp %P 39-58 %T Tweaking the Odds in Probabilistic Timed Automata. %U http://dblp.uni-trier.de/db/conf/qest/qest2021.html#HartmannsKKS21 %V 12846 %@ 978-3-030-85172-9

@inproceedings{conf/qest/HartmannsKKS21, added-at = {2021-09-01T00:00:00.000+0200}, author = {Hartmanns, Arnd and Katoen, Joost-Pieter and Kohlen, Bram and Spel, Jip}, biburl = {https://www.bibsonomy.org/bibtex/264e97ea508c4e7fd82fe7a435864f4af/dblp}, booktitle = {QEST}, crossref = {conf/qest/2021}, editor = {Abate, Alessandro and Marin, Andrea}, ee = {https://doi.org/10.1007/978-3-030-85172-9_3}, interhash = {197511071a215b873910f3ceda505be9}, intrahash = {64e97ea508c4e7fd82fe7a435864f4af}, isbn = {978-3-030-85172-9}, keywords = {dblp}, pages = {39-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:39:20.000+0200}, title = {Tweaking the Odds in Probabilistic Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2021.html#HartmannsKKS21}, volume = 12846, year = 2021 }