%0 Conference Paper %1 conf/sac/HahnH21 %A Hahn, Ernst Moritz %A Hartmanns, Arnd %B SAC %D 2021 %E Hung, Chih-Cheng %E Hong, Jiman %E Bechini, Alessio %E Song, Eunjee %I ACM %K dblp %P 1798-1806 %T Symblicit exploration and elimination for probabilistic model checking. %U http://dblp.uni-trier.de/db/conf/sac/sac2021.html#HahnH21 %@ 978-1-4503-8104-8

@inproceedings{conf/sac/HahnH21, added-at = {2021-05-03T00:00:00.000+0200}, author = {Hahn, Ernst Moritz and Hartmanns, Arnd}, biburl = {https://www.bibsonomy.org/bibtex/2a0f71d7c8114e7893f56b72907a88cde/dblp}, booktitle = {SAC}, crossref = {conf/sac/2021}, editor = {Hung, Chih-Cheng and Hong, Jiman and Bechini, Alessio and Song, Eunjee}, ee = {https://doi.org/10.1145/3412841.3442052}, interhash = {79c8550ea91347211b830b7ffa7d1a7e}, intrahash = {a0f71d7c8114e7893f56b72907a88cde}, isbn = {978-1-4503-8104-8}, keywords = {dblp}, pages = {1798-1806}, publisher = {ACM}, timestamp = {2024-04-09T12:17:43.000+0200}, title = {Symblicit exploration and elimination for probabilistic model checking.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2021.html#HahnH21}, year = 2021 }