Inproceedings,
A Framework for Formal Verification of DRAM Controllers.
L. Steiner, C. Sudarshan, M. Jung, D. Stoffel, and N. Wehn.MEMSYS, page 6:1-6:7. ACM, (2022)
Meta data
- BibTeX key
- conf/memsys/SteinerS0SW22
- entry type
- inproceedings
- booktitle
- MEMSYS
- year
- 2022
- pages
- 6:1-6:7
- publisher
- ACM
- crossref
- conf/memsys/2022
- ee
- https://doi.org/10.1145/3565053.3565059
- isbn
- 978-1-4503-9800-8
- url
- http://dblp.uni-trier.de/db/conf/memsys/memsys2022.html#SteinerS0SW22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memsys/SteinerS0SW22
%A Steiner, Lukas
%A Sudarshan, Chirag
%A Jung, Matthias
%A Stoffel, Dominik
%A Wehn, Norbert
%B MEMSYS
%D 2022
%E Jacob, Bruce L.
%I ACM
%K dblp
%P 6:1-6:7
%T A Framework for Formal Verification of DRAM Controllers.
%U http://dblp.uni-trier.de/db/conf/memsys/memsys2022.html#SteinerS0SW22
%@ 978-1-4503-9800-8
@inproceedings{conf/memsys/SteinerS0SW22,
added-at = {2023-10-14T00:00:00.000+0200},
author = {Steiner, Lukas and Sudarshan, Chirag and Jung, Matthias and Stoffel, Dominik and Wehn, Norbert},
biburl = {https://www.bibsonomy.org/bibtex/206cf8d6ccaffc3e9974c44b77f29c5a2/dblp},
booktitle = {MEMSYS},
crossref = {conf/memsys/2022},
editor = {Jacob, Bruce L.},
ee = {https://doi.org/10.1145/3565053.3565059},
interhash = {3e8c5883a2dd81b7660f19b104010213},
intrahash = {06cf8d6ccaffc3e9974c44b77f29c5a2},
isbn = {978-1-4503-9800-8},
keywords = {dblp},
pages = {6:1-6:7},
publisher = {ACM},
timestamp = {2024-04-09T17:30:03.000+0200},
title = {A Framework for Formal Verification of DRAM Controllers.},
url = {http://dblp.uni-trier.de/db/conf/memsys/memsys2022.html#SteinerS0SW22},
year = 2022
}