Book

Understanding Behaviour of Distributed Systems Using MCRL2

by Muhammad Atif, Jan Friso Groote