%0 Journal Article %1 journals/pacmpl/ChatterjeePT19 %A Chatterjee, Krishnendu %A Pavlogiannis, Andreas %A Toman, Viktor %D 2019 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 124:1-124:29 %T Value-centric dynamic partial order reduction. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#ChatterjeePT19 %V 3

@article{journals/pacmpl/ChatterjeePT19, added-at = {2021-02-17T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Pavlogiannis, Andreas and Toman, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/23098d9f155fccb2c358b11015068acf0/dblp}, ee = {https://doi.org/10.1145/3360550}, interhash = {7f780b961f7180375d2a7f6932a2a322}, intrahash = {3098d9f155fccb2c358b11015068acf0}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {124:1-124:29}, timestamp = {2024-04-08T09:54:45.000+0200}, title = {Value-centric dynamic partial order reduction.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#ChatterjeePT19}, volume = 3, year = 2019 }