%0 Conference Paper %1 conf/post/FranklinCDMV12 %A Franklin, Jason %A Chaki, Sagar %A Datta, Anupam %A McCune, Jonathan M. %A Vasudevan, Amit %B POST %D 2012 %E Degano, Pierpaolo %E Guttman, Joshua D. %I Springer %K dblp %P 51-68 %T Parametric Verification of Address Space Separation. %U http://dblp.uni-trier.de/db/conf/post/post2012.html#FranklinCDMV12 %V 7215 %@ 978-3-642-28640-7

@inproceedings{conf/post/FranklinCDMV12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Franklin, Jason and Chaki, Sagar and Datta, Anupam and McCune, Jonathan M. and Vasudevan, Amit}, biburl = {https://www.bibsonomy.org/bibtex/2b5ea9c656972003981b3be9a40f86e17/dblp}, booktitle = {POST}, crossref = {conf/post/2012}, editor = {Degano, Pierpaolo and Guttman, Joshua D.}, ee = {https://doi.org/10.1007/978-3-642-28641-4_4}, interhash = {dfb1189a3fd2215eb89d7370cb8472a8}, intrahash = {b5ea9c656972003981b3be9a40f86e17}, isbn = {978-3-642-28640-7}, keywords = {dblp}, pages = {51-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:23:06.000+0200}, title = {Parametric Verification of Address Space Separation.}, url = {http://dblp.uni-trier.de/db/conf/post/post2012.html#FranklinCDMV12}, volume = 7215, year = 2012 }