Understanding Behaviour of Distributed Systems Using MCRL2

MLA

Atif, Muhammad, and Jan Friso Groote. Understanding Behaviour of Distributed Systems Using Mcrl2. Cham: Springer International Publishing AG, 2023.

APA

Atif, M., & Groote, J. Friso. (2023). Understanding Behaviour of Distributed Systems Using MCRL2. Cham: Springer International Publishing AG.

Chicago

Atif, Muhammad., and Jan Friso Groote. Understanding Behaviour of Distributed Systems Using MCRL2. Cham: Springer International Publishing AG, 2023.