%0 Conference Paper %1 conf/iccad/ChakrabortySV20 %A Chakraborty, Supratik %A Shrotri, Aditya A. %A Vardi, Moshe Y. %B ICCAD %D 2020 %I IEEE %K dblp %P 108:1-108:9 %T On Uniformly Sampling Traces of a Transition System. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2020.html#ChakrabortySV20

@inproceedings{conf/iccad/ChakrabortySV20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Chakraborty, Supratik and Shrotri, Aditya A. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/254b5e151cc2af2a0c8c1833bb49ea2c7/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2020}, ee = {https://ieeexplore.ieee.org/document/9256493}, interhash = {b300f9563679c1ed1859b024202cd333}, intrahash = {54b5e151cc2af2a0c8c1833bb49ea2c7}, keywords = {dblp}, pages = {108:1-108:9}, publisher = {IEEE}, timestamp = {2024-04-09T19:27:02.000+0200}, title = {On Uniformly Sampling Traces of a Transition System.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2020.html#ChakrabortySV20}, year = 2020 }