%0 Journal Article %1 journals/dagstuhl-reports/DolbyGMT16 %A Dolby, Julian %A Grumberg, Orna %A Müller, Peter %A Tripp, Omer %D 2016 %J Dagstuhl Reports %K dblp %N 5 %P 56-71 %T Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports6.html#DolbyGMT16 %V 6

@article{journals/dagstuhl-reports/DolbyGMT16, added-at = {2016-11-15T00:00:00.000+0100}, author = {Dolby, Julian and Grumberg, Orna and Müller, Peter and Tripp, Omer}, biburl = {https://www.bibsonomy.org/bibtex/206133580196b84c6278cca54a3f3df1d/dblp}, ee = {http://dx.doi.org/10.4230/DagRep.6.5.56}, interhash = {87c70f7a64a3c880f75119bf84d9cd56}, intrahash = {06133580196b84c6278cca54a3f3df1d}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 5, pages = {56-71}, timestamp = {2016-11-16T11:33:57.000+0100}, title = {Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports6.html#DolbyGMT16}, volume = 6, year = 2016 }