%0 Conference Paper %1 conf/kbse/MercerAVS15 %A Mercer, Eric G. %A Anderson, Peter %A Vrvilo, Nick %A Sarkar, Vivek %B ASE %D 2015 %E Cohen, Myra B. %E Grunske, Lars %E Whalen, Michael %I IEEE Computer Society %K dblp %P 535-540 %T Model Checking Task Parallel Programs Using Gradual Permissions (N). %U http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#MercerAVS15 %@ 978-1-5090-0025-8

@inproceedings{conf/kbse/MercerAVS15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Mercer, Eric G. and Anderson, Peter and Vrvilo, Nick and Sarkar, Vivek}, biburl = {https://www.bibsonomy.org/bibtex/26f0b8ee2110356df30abd827bce96de6/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2015}, editor = {Cohen, Myra B. and Grunske, Lars and Whalen, Michael}, ee = {https://dl.acm.org/citation.cfm?id=3343953}, interhash = {02295567291a564c61b3bd9ebfca9efb}, intrahash = {6f0b8ee2110356df30abd827bce96de6}, isbn = {978-1-5090-0025-8}, keywords = {dblp}, pages = {535-540}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:50:29.000+0200}, title = {Model Checking Task Parallel Programs Using Gradual Permissions (N).}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#MercerAVS15}, year = 2015 }