%0 Conference Paper %1 conf/sosp/AchermannCHHHRS21 %A Achermann, Reto %A Cock, David A. %A Haecki, Roni %A Hossle, Nora %A Humbel, Lukas %A Roscoe, Timothy %A Schwyn, Daniel David %B PLOS@SOSP %D 2021 %I ACM %K dblp %P 69-75 %T Generating correct initial page tables from formal hardware descriptions. %U http://dblp.uni-trier.de/db/conf/sosp/plos2021.html#AchermannCHHHRS21 %@ 978-1-4503-8707-1

@inproceedings{conf/sosp/AchermannCHHHRS21, added-at = {2022-12-21T00:00:00.000+0100}, author = {Achermann, Reto and Cock, David A. and Haecki, Roni and Hossle, Nora and Humbel, Lukas and Roscoe, Timothy and Schwyn, Daniel David}, biburl = {https://www.bibsonomy.org/bibtex/20254af80a7b9070ca1874b8e4f8ddd5f/dblp}, booktitle = {PLOS@SOSP}, crossref = {conf/sosp/2021plos}, ee = {https://doi.org/10.1145/3477113.3487270}, interhash = {c35f169157d72291a930e1869abe484b}, intrahash = {0254af80a7b9070ca1874b8e4f8ddd5f}, isbn = {978-1-4503-8707-1}, keywords = {dblp}, pages = {69-75}, publisher = {ACM}, timestamp = {2024-04-09T19:03:02.000+0200}, title = {Generating correct initial page tables from formal hardware descriptions.}, url = {http://dblp.uni-trier.de/db/conf/sosp/plos2021.html#AchermannCHHHRS21}, year = 2021 }