APA (7th ed.) Citation

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 Style (17th ed.) Citation

Christ, Derek, Thomas Zimmermann, Philippe Barbie, Dmitri Saberi, Yao Yin, and Matthias Jung. DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets. 2026.

MLA (9th ed.) Citation

Christ, Derek, et al. DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets. 2026.