Understanding Behaviour of Distributed Systems Using MCRL2
Understanding Behaviour of Distributed Systems Using MCRL2
Muhammad Atif
,
Jan Friso Groote
Details
OL Work ID
OL34023581W
Find this book
Goodreads
Open Library