1. Modeling and analysis of communicating systems

by Groote, Jan Friso | Mousavi, Mohammad Reza.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2014Availability: Items available for loan: [Call number: 621.382011 GRO] (1).
2. Understanding behaviour of distributed systems using mCRL2

by Atif, Muhammad | Groote, Jan Friso.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2023Availability: Items available for loan: [Call number: 004.36 ATI] (1).

Powered by Koha