Παραπομπή σε μορφή APA (7η εκδ.)

González, A., Cristiá, M., & Luna, C. (2025). Verification of quantitative temporal properties in RealTime-DEVS. Simulation, 101(10), 1057. https://doi.org/10.1177/00375497251340070

Παραπομπή σε μορφή Chicago (17η εκδ.)

González, Ariel, Maximiliano Cristiá, και Carlos Luna. "Verification of Quantitative Temporal Properties in RealTime-DEVS." Simulation 101, no. 10 (2025): 1057. https://doi.org/10.1177/00375497251340070.

Παραπομπή σε μορφή MLA (9th εκδ.)

González, Ariel, et al. "Verification of Quantitative Temporal Properties in RealTime-DEVS." Simulation, vol. 101, no. 10, 2025, p. 1057, https://doi.org/10.1177/00375497251340070.