APA (7th ed.) Citation

Alsaegg, K. A. M., Pashazadeh, S., & Lighvan, M. Z. Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net. PeerJ Inc.

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 Inc.

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 Inc.