%0 Conference Paper %1 conf/pldi/ShambaughWG16 %A Shambaugh, Rian %A Weiss, Aaron %A Guha, Arjun %B PLDI %D 2016 %E Krintz, Chandra %E Berger, Emery D. %I ACM %K dblp %P 416-430 %T Rehearsal: a configuration verification tool for puppet. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2016.html#ShambaughWG16 %@ 978-1-4503-4261-2

@inproceedings{conf/pldi/ShambaughWG16, added-at = {2021-06-23T00:00:00.000+0200}, author = {Shambaugh, Rian and Weiss, Aaron and Guha, Arjun}, biburl = {https://www.bibsonomy.org/bibtex/24a0fb1a15897c43eb1c2d35f94448568/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2016}, editor = {Krintz, Chandra and Berger, Emery D.}, ee = {https://doi.org/10.1145/2980983.2908083}, interhash = {1e35696b61e8fb27916e1921ea6f6d18}, intrahash = {4a0fb1a15897c43eb1c2d35f94448568}, isbn = {978-1-4503-4261-2}, keywords = {dblp}, pages = {416-430}, publisher = {ACM}, timestamp = {2024-04-09T19:00:33.000+0200}, title = {Rehearsal: a configuration verification tool for puppet.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2016.html#ShambaughWG16}, year = 2016 }