%0 Conference Paper %1 conf/hybrid/WisniewskiSBP16 %A Wisniewski, Rafael %A Sloth, Christoffer %A Bujorianu, Manuela-Luminita %A Piterman, Nir %B HSCC %D 2016 %E Abate, Alessandro %E Fainekos, Georgios %I ACM %K dblp %P 257-266 %T Safety Verification of Piecewise-Deterministic Markov Processes. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#WisniewskiSBP16 %@ 978-1-4503-3955-1

@inproceedings{conf/hybrid/WisniewskiSBP16, added-at = {2021-09-21T00:00:00.000+0200}, author = {Wisniewski, Rafael and Sloth, Christoffer and Bujorianu, Manuela-Luminita and Piterman, Nir}, biburl = {https://www.bibsonomy.org/bibtex/20d44bf6721e85ae3c7945830a4bc0cb0/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2016}, editor = {Abate, Alessandro and Fainekos, Georgios}, ee = {https://doi.org/10.1145/2883817.2883836}, interhash = {315f0d99aaa6c7e2578f3d50488f92a3}, intrahash = {0d44bf6721e85ae3c7945830a4bc0cb0}, isbn = {978-1-4503-3955-1}, keywords = {dblp}, pages = {257-266}, publisher = {ACM}, timestamp = {2024-04-09T13:56:08.000+0200}, title = {Safety Verification of Piecewise-Deterministic Markov Processes.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#WisniewskiSBP16}, year = 2016 }