APA (7th ed.) Citation

Alsaegg, K. A. M., Pashazadeh, S., & Zolfy Lighvan, M. (2025). Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net. PeerJ Computer Science, 1. https://doi.org/10.7717/peerj-cs.2995

Chicago Style (17th ed.) Citation

Alsaegg, Khalid Amjed Mohammed, Saeid Pashazadeh, and Mina Zolfy Lighvan. "Formal Modeling of a Causal Consistent Distributed System and Verification of Its History via Model Checking Using Colored Petri Net." PeerJ Computer Science 2025: 1. https://doi.org/10.7717/peerj-cs.2995.

MLA (9th ed.) Citation

Alsaegg, Khalid Amjed Mohammed, et al. "Formal Modeling of a Causal Consistent Distributed System and Verification of Its History via Model Checking Using Colored Petri Net." PeerJ Computer Science, 2025, p. 1, https://doi.org/10.7717/peerj-cs.2995.