%0 Conference Paper %1 conf/ifm/PfahlerEBSR17 %A Pfähler, Jörg %A Ernst, Gidon %A Bodenmüller, Stefan %A Schellhorn, Gerhard %A Reif, Wolfgang %B IFM %D 2017 %E Polikarpova, Nadia %E Schneider, Steve A. %I Springer %K dblp %P 375-390 %T Modular Verification of Order-Preserving Write-Back Caches. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#PfahlerEBSR17 %V 10510 %@ 978-3-319-66845-1

@inproceedings{conf/ifm/PfahlerEBSR17, added-at = {2024-05-07T00:00:00.000+0200}, author = {Pfähler, Jörg and Ernst, Gidon and Bodenmüller, Stefan and Schellhorn, Gerhard and Reif, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2f1cee641726e92e93f0e80d57dc25d8b/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2017}, editor = {Polikarpova, Nadia and Schneider, Steve A.}, ee = {https://doi.org/10.1007/978-3-319-66845-1_25}, interhash = {ad2c50f2306c4bc51cc0ea806e2b4f95}, intrahash = {f1cee641726e92e93f0e80d57dc25d8b}, isbn = {978-3-319-66845-1}, keywords = {dblp}, pages = {375-390}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T10:18:01.000+0200}, title = {Modular Verification of Order-Preserving Write-Back Caches.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#PfahlerEBSR17}, volume = 10510, year = 2017 }