%0 Conference Paper %1 conf/lics/ChatterjeeDHS21 %A Chatterjee, Krishnendu %A Dvorák, Wolfgang %A Henzinger, Monika %A Svozil, Alexander %B LICS %D 2021 %I IEEE %K dblp %P 1-13 %T Symbolic Time and Space Tradeoffs for Probabilistic Verification. %U http://dblp.uni-trier.de/db/conf/lics/lics2021.html#ChatterjeeDHS21 %@ 978-1-6654-4895-6

@inproceedings{conf/lics/ChatterjeeDHS21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Dvorák, Wolfgang and Henzinger, Monika and Svozil, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/28d2235bf59b85bb4bc800c1d3e037eec/dblp}, booktitle = {LICS}, crossref = {conf/lics/2021}, ee = {https://doi.org/10.1109/LICS52264.2021.9470739}, interhash = {5b5b768d2748b20f53ff68f4b8a82777}, intrahash = {8d2235bf59b85bb4bc800c1d3e037eec}, isbn = {978-1-6654-4895-6}, keywords = {dblp}, pages = {1-13}, publisher = {IEEE}, timestamp = {2024-04-09T13:16:51.000+0200}, title = {Symbolic Time and Space Tradeoffs for Probabilistic Verification.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2021.html#ChatterjeeDHS21}, year = 2021 }