ALSAEGG, Khalid Amjed Mohammed, PASHAZADEH, Saeid und ZOLFY LIGHVAN, Mina, 2025. Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net. Peer J Computer Science. 1 Juli 2025. P. 1-35. DOI 10.7717/peerj-cs.2995.
Elsevier - Harvard (with titles)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. Peer J Computer Science 1-35. https://doi.org/10.7717/peerj-cs.2995
American Psychological Association 7th editionAlsaegg, 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. Peer J Computer Science, 1-35. https://doi.org/10.7717/peerj-cs.2995
Springer - Basic (author-date)Alsaegg KAM, 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.. Peer J Computer Science 1-35. https://doi.org/10.7717/peerj-cs.2995
Juristische Zitierweise (Stüber) (Deutsch)Alsaegg, Khalid Amjed Mohammed/ Pashazadeh, Saeid/ Zolfy Lighvan, Mina, Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net., Peer J Computer Science 2025, 1-35.