Search

You searched for: Auteur Atif, Muhammad. Remove constraint Auteur: Atif, Muhammad.
1 entry found
Number of results to display per page

Search Results

1. Understanding Behaviour of Distributed Systems Using MCRL2
thumbnail
Full text!
Author:
Atif, Muhammad.; Groote, Jan Friso
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book