Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Muhammad Atif — Author | Lex | Lex
M
Muhammad Atif
1 work on record
Works
Understanding Behaviour of Distributed Systems Using MCRL2
Understanding Behaviour of Distributed Systems Using MCRL2