Muhammad Atif
- Auteur
Geschreven door Muhammad Atif
Muhammad Atif
Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies.
Meer