%0 Conference Paper %1 conf/ifm/BodenmullerSR20 %A Bodenmüller, Stefan %A Schellhorn, Gerhard %A Reif, Wolfgang %B IFM %D 2020 %E Dongol, Brijesh %E Troubitsyna, Elena %I Springer %K dblp %P 218-236 %T Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2020.html#BodenmullerSR20 %V 12546 %@ 978-3-030-63461-2

@inproceedings{conf/ifm/BodenmullerSR20, added-at = {2022-04-09T00:00:00.000+0200}, author = {Bodenmüller, Stefan and Schellhorn, Gerhard and Reif, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/251f8a30858629496536f590d0dc1a682/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2020}, editor = {Dongol, Brijesh and Troubitsyna, Elena}, ee = {https://doi.org/10.1007/978-3-030-63461-2_12}, interhash = {21ed2296fc5857e16669f681600f2347}, intrahash = {51f8a30858629496536f590d0dc1a682}, isbn = {978-3-030-63461-2}, keywords = {dblp}, pages = {218-236}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:33:15.000+0200}, title = {Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2020.html#BodenmullerSR20}, volume = 12546, year = 2020 }