%0 Journal Article %1 journals/corr/abs-2208-11928 %A Hartmanns, Arnd %A Kohlen, Bram %D 2022 %J CoRR %K dblp %T Backwards Reachability for Probabilistic Timed Automata: A Replication Report. %U http://dblp.uni-trier.de/db/journals/corr/corr2208.html#abs-2208-11928 %V abs/2208.11928

@article{journals/corr/abs-2208-11928, added-at = {2022-08-30T00:00:00.000+0200}, author = {Hartmanns, Arnd and Kohlen, Bram}, biburl = {https://www.bibsonomy.org/bibtex/29f255076d2a1eb653b046c851aebb44c/dblp}, ee = {https://doi.org/10.48550/arXiv.2208.11928}, interhash = {01e9bbb311511bbc1421368c082ba665}, intrahash = {9f255076d2a1eb653b046c851aebb44c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:03:27.000+0200}, title = {Backwards Reachability for Probabilistic Timed Automata: A Replication Report.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2208.html#abs-2208-11928}, volume = {abs/2208.11928}, year = 2022 }