Christ, D., Zimmermann, T., Barbie, P., Saberi, D., Yin, Y., & Jung, M. (2026). DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets.
Chicago-Zitierstil (17. Ausg.)Christ, Derek, Thomas Zimmermann, Philippe Barbie, Dmitri Saberi, Yao Yin, und Matthias Jung. DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets. 2026.
MLA-Zitierstil (9. Ausg.)Christ, Derek, et al. DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.