%0 Conference Paper %1 conf/vmcai/HeuleLMS13 %A Heule, Stefan %A Leino, K. Rustan M. %A Müller, Peter %A Summers, Alexander J. %B VMCAI %D 2013 %E Giacobazzi, Roberto %E Berdine, Josh %E Mastroeni, Isabella %I Springer %K dblp %P 315-334 %T Abstract Read Permissions: Fractional Permissions without the Fractions. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2013.html#HeuleLMS13 %V 7737 %@ 978-3-642-35873-9

@inproceedings{conf/vmcai/HeuleLMS13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Heule, Stefan and Leino, K. Rustan M. and Müller, Peter and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/2eb37ac6376d3e91456c59c1383453a61/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2013}, editor = {Giacobazzi, Roberto and Berdine, Josh and Mastroeni, Isabella}, ee = {https://doi.org/10.1007/978-3-642-35873-9_20}, interhash = {0c47dfc619ed4dbfce17bdd4efb2b4c5}, intrahash = {eb37ac6376d3e91456c59c1383453a61}, isbn = {978-3-642-35873-9}, keywords = {dblp}, pages = {315-334}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:12.000+0200}, title = {Abstract Read Permissions: Fractional Permissions without the Fractions.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2013.html#HeuleLMS13}, volume = 7737, year = 2013 }