ISBN 3031230108 books & textbook
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458)
Atif, Muhammad Groote, Jan Friso
Springer /2024-02-27 Paperback / 250 Pages
isbn-10: 3031230108 / isbn-13: 9783031230103
