%0 Conference Paper %1 conf/lics/LiMO22 %A Li, Guanyan %A Murawski, Andrzej S. %A Ong, Luke %B LICS %D 2022 %E Baier, Christel %E Fisman, Dana %I ACM %K dblp %P 33:1-33:13 %T Probabilistic Verification Beyond Context-Freeness. %U http://dblp.uni-trier.de/db/conf/lics/lics2022.html#LiMO22 %@ 978-1-4503-9351-5

@inproceedings{conf/lics/LiMO22, added-at = {2022-08-09T00:00:00.000+0200}, author = {Li, Guanyan and Murawski, Andrzej S. and Ong, Luke}, biburl = {https://www.bibsonomy.org/bibtex/21ddeacb1ea9f1fd18f3cbe61562f2256/dblp}, booktitle = {LICS}, crossref = {conf/lics/2022}, editor = {Baier, Christel and Fisman, Dana}, ee = {https://doi.org/10.1145/3531130.3533351}, interhash = {0de1f720f741cf4924ecbafa89f9316f}, intrahash = {1ddeacb1ea9f1fd18f3cbe61562f2256}, isbn = {978-1-4503-9351-5}, keywords = {dblp}, pages = {33:1-33:13}, publisher = {ACM}, timestamp = {2024-04-09T13:16:55.000+0200}, title = {Probabilistic Verification Beyond Context-Freeness.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2022.html#LiMO22}, year = 2022 }