Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). Bouajjani, A., Emmi, M., Enea, C., & Hamza, J. In Harsha, P. & Ramalingam, G., editors, FSTTCS, volume 45, of LIPIcs, pages 2-4, 2015. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). [link]Link  Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). [link]Paper  bibtex   
@inproceedings{conf/fsttcs/BouajjaniEEH15,
  added-at = {2016-01-07T00:00:00.000+0100},
  author = {Bouajjani, Ahmed and Emmi, Michael and Enea, Constantin and Hamza, Jad},
  biburl = {http://www.bibsonomy.org/bibtex/2addcfd68c043ba1d35561dbc5fbb2a86/dblp},
  booktitle = {FSTTCS},
  crossref = {conf/fsttcs/2015},
  editor = {Harsha, Prahladh and Ramalingam, G.},
  ee = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2015.2},
  interhash = {c159cb06cdc183f3d7ba396c317412ea},
  intrahash = {addcfd68c043ba1d35561dbc5fbb2a86},
  isbn = {978-3-939897-97-2},
  keywords = {dblp},
  pages = {2-4},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {LIPIcs},
  timestamp = {2016-01-13T12:15:42.000+0100},
  title = {Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).},
  url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#BouajjaniEEH15},
  volume = 45,
  year = 2015
}

Downloads: 0