Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
Modular Verification of Order-Preserving Write-Back Caches
IFM, 2017.
@inproceedings{IFM-2017-PfahlerEBSR,
author = "Jörg Pfähler and Gidon Ernst and Stefan Bodenmüller and Gerhard Schellhorn and Wolfgang Reif",
booktitle = "{Proceedings of the 13th International Conference on Integrated Formal Methods}",
doi = "10.1007/978-3-319-66845-1_25",
isbn = "['978-3-319-66844-4', '978-3-319-66845-1']",
pages = "375--390",
publisher = "{Springer}",
title = "{Modular Verification of Order-Preserving Write-Back Caches}",
year = 2017,
}
Tags:
