%0 Conference Paper %1 conf/sofsem/NematiGD15 %A Nemati, Hamed %A Guanciale, Roberto %A Dam, Mads %B SOFSEM %D 2015 %E Italiano, Giuseppe F. %E Margaria-Steffen, Tiziana %E Pokorný, Jaroslav %E Quisquater, Jean-Jacques %E Wattenhofer, Roger %I Springer %K dblp %P 578-589 %T Trustworthy Virtualization of the ARMv7 Memory Subsystem. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2015.html#NematiGD15 %V 8939 %@ 978-3-662-46077-1

@inproceedings{conf/sofsem/NematiGD15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Nemati, Hamed and Guanciale, Roberto and Dam, Mads}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24ea82e0f7ff1d42debf0139fcd5a10ae/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/2015}, editor = {Italiano, Giuseppe F. and Margaria-Steffen, Tiziana and Pokorný, Jaroslav and Quisquater, Jean-Jacques and Wattenhofer, Roger}, ee = {https://doi.org/10.1007/978-3-662-46078-8_48}, interhash = {8d415f9f0715f8743475724c6a2ae2d2}, intrahash = {4ea82e0f7ff1d42debf0139fcd5a10ae}, isbn = {978-3-662-46077-1}, keywords = {dblp}, pages = {578-589}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:16:53.000+0200}, title = {Trustworthy Virtualization of the ARMv7 Memory Subsystem.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2015.html#NematiGD15}, volume = 8939, year = 2015 }