%0 Conference Paper %1 conf/musepat/KelkJB13 %A Kelk, David %A Jalbert, Kevin %A Bradbury, Jeremy S. %B MUSEPAT %D 2013 %E Lourenço, João %E Farchi, Eitan %I Springer %K dblp %P 73-84 %T Automatically Repairing Concurrency Bugs with ARC. %U http://dblp.uni-trier.de/db/conf/musepat/musepat2013.html#KelkJB13 %V 8063 %@ 978-3-642-39954-1

@inproceedings{conf/musepat/KelkJB13, added-at = {2017-05-22T00:00:00.000+0200}, author = {Kelk, David and Jalbert, Kevin and Bradbury, Jeremy S.}, biburl = {https://www.bibsonomy.org/bibtex/2aa7faeb12f63734397a0a75493661aed/dblp}, booktitle = {MUSEPAT}, crossref = {conf/musepat/2013}, editor = {Lourenço, João and Farchi, Eitan}, ee = {https://doi.org/10.1007/978-3-642-39955-8_7}, interhash = {ff50abf3e901478b3b1fae459cf06b71}, intrahash = {aa7faeb12f63734397a0a75493661aed}, isbn = {978-3-642-39954-1}, keywords = {dblp}, pages = {73-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:43:09.000+0200}, title = {Automatically Repairing Concurrency Bugs with ARC.}, url = {http://dblp.uni-trier.de/db/conf/musepat/musepat2013.html#KelkJB13}, volume = 8063, year = 2013 }