%0 Journal Article %1 journals/pacmpl/PickDG23 %A Pick, Lauren %A Desai, Ankush %A Gupta, Aarti %D 2023 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 660-685 %T Psym: Efficient Symbolic Exploration of Distributed Systems. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#PickDG23 %V 7

@article{journals/pacmpl/PickDG23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Pick, Lauren and Desai, Ankush and Gupta, Aarti}, biburl = {https://www.bibsonomy.org/bibtex/2369e2e650c70b753882ea199770fceae/dblp}, ee = {https://doi.org/10.1145/3591247}, interhash = {98a2b9354d7f2bb286357603ea00fe82}, intrahash = {369e2e650c70b753882ea199770fceae}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {660-685}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {Psym: Efficient Symbolic Exploration of Distributed Systems.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#PickDG23}, volume = 7, year = 2023 }