Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif and 1 more
Paperback
Not Available