Model Checking Task Parallel Programs Using Gradual Permissions (N). Mercer, E. G.; Anderson, P.; Vrvilo, N.; and Sarkar, V. In Cohen, M. B.; Grunske, L.; and Whalen, M., editors, ASE, pages 535-540, 2015. IEEE.
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
}