@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
}

{"_id":"r8A47zyNi3rtXfPP8","bibbaseid":"mercer-anderson-vrvilo-sarkar-modelcheckingtaskparallelprogramsusinggradualpermissionsn-2015","downloads":0,"creationDate":"2016-02-09T05:23:28.062Z","title":"Model Checking Task Parallel Programs Using Gradual Permissions (N).","author_short":["Mercer, E. G.","Anderson, P.","Vrvilo, N.","Sarkar, V."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Vivek Krishnakumar?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-13T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Mercer"],"firstnames":["Eric","G."],"suffixes":[]},{"propositions":[],"lastnames":["Anderson"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Vrvilo"],"firstnames":["Nick"],"suffixes":[]},{"propositions":[],"lastnames":["Sarkar"],"firstnames":["Vivek"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/26f0b8ee2110356df30abd827bce96de6/dblp","booktitle":"ASE","crossref":"conf/kbse/2015","editor":[{"propositions":[],"lastnames":["Cohen"],"firstnames":["Myra","B."],"suffixes":[]},{"propositions":[],"lastnames":["Grunske"],"firstnames":["Lars"],"suffixes":[]},{"propositions":[],"lastnames":["Whalen"],"firstnames":["Michael"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/kbse/MercerAVS15,\n added-at = {2016-01-13T00:00:00.000+0100},\n author = {Mercer, Eric G. and Anderson, Peter and Vrvilo, Nick and Sarkar, Vivek},\n biburl = {http://www.bibsonomy.org/bibtex/26f0b8ee2110356df30abd827bce96de6/dblp},\n booktitle = {ASE},\n crossref = {conf/kbse/2015},\n editor = {Cohen, Myra B. and Grunske, Lars and Whalen, Michael},\n ee = {http://dx.doi.org/10.1109/ASE.2015.75},\n interhash = {02295567291a564c61b3bd9ebfca9efb},\n intrahash = {6f0b8ee2110356df30abd827bce96de6},\n isbn = {978-1-5090-0025-8},\n keywords = {dblp},\n pages = {535-540},\n publisher = {IEEE},\n timestamp = {2016-01-14T11:44:15.000+0100},\n title = {Model Checking Task Parallel Programs Using Gradual Permissions (N).},\n url = {http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#MercerAVS15},\n year = 2015\n}\n\n","author_short":["Mercer, E. G.","Anderson, P.","Vrvilo, N.","Sarkar, V."],"editor_short":["Cohen, M. B.","Grunske, L.","Whalen, M."],"key":"conf/kbse/MercerAVS15","id":"conf/kbse/MercerAVS15","bibbaseid":"mercer-anderson-vrvilo-sarkar-modelcheckingtaskparallelprogramsusinggradualpermissionsn-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/ASE.2015.75","Paper":"http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#MercerAVS15"},"keyword":["dblp"],"downloads":0},"search_terms":["model","checking","task","parallel","programs","using","gradual","permissions","mercer","anderson","vrvilo","sarkar"],"keywords":["dblp"],"authorIDs":[],"dataSources":["MhetGwzdnqQv3dJWT"]}