ALSAEGG KAM, PASHAZADEH S und 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. 7 Juli 2025. Vol. 11, , p. e2995-e2995. DOI 10.7717/peerj-cs.2995.
Elsevier - Harvard (with titles)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 11, e2995-e2995. https://doi.org/10.7717/peerj-cs.2995
American Psychological Association 7th editionAlsaegg 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, 11, e2995-e2995. 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 11:e2995-e2995. https://doi.org/10.7717/peerj-cs.2995
Juristische Zitierweise (Stüber) (Deutsch)Alsaegg KAM/ Pashazadeh S/ Zolfy Lighvan M, 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, e2995-e2995.