TY  - RPRT
TI  - DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
AU  - Derek Christ
AU  - Thomas Zimmermann
AU  - Philippe Barbie
AU  - Dmitri Saberi
AU  - Yao Yin
AU  - Matthias Jung
PY  - 2026
UR  - https://arxiv.org/abs/2602.10654
ID  - 2602.10654
ER  -