Link  Paper  bibtex   

@inproceedings{conf/kbse/MercerAVS15,
  added-at = {2016-01-13T00:00:00.000+0100},
  author = {Mercer, Eric G. and Anderson, Peter and Vrvilo, Nick and Sarkar, Vivek},
  biburl = {http://www.bibsonomy.org/bibtex/26f0b8ee2110356df30abd827bce96de6/dblp},
  booktitle = {ASE},
  crossref = {conf/kbse/2015},
  editor = {Cohen, Myra B. and Grunske, Lars and Whalen, Michael},
  ee = {http://dx.doi.org/10.1109/ASE.2015.75},
  interhash = {02295567291a564c61b3bd9ebfca9efb},
  intrahash = {6f0b8ee2110356df30abd827bce96de6},
  isbn = {978-1-5090-0025-8},
  keywords = {dblp},
  pages = {535-540},
  publisher = {IEEE},
  timestamp = {2016-01-14T11:44:15.000+0100},
  title = {Model Checking Task Parallel Programs Using Gradual Permissions (N).},
  url = {http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#MercerAVS15},
  year = 2015
}