Understanding Behaviour of Distributed Systems Using MCRL2
de Muhammad Atif, Jan Friso Groote
Ediciones (2)
- Understanding Behaviour of Distributed Systems Using MCRL2 (2024)
Springer International Publishing AG · inglés · ISBN 9783031230103
- Understanding Behaviour of Distributed Systems Using MCRL2 (2023)
Springer International Publishing AG · inglés · ISBN 9783031230073