Understanding Behaviour of Distributed Systems Using MCRL2Muhammad Atif, Jan Friso Groote · First published 2023Open the Tome
Formal Methods for Industrial Critical SystemsJan Friso Groote, Marieke Huisman · First published 2022Open the Tome
Logical Gates, Circuits, Processors, Compilers and ComputersJan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins · First published 2021Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote, Kim Guldstrand Larsen · First published 2021Open the Tome
Modeling and Analysis of Communicating SystemsJan Friso Groote, Mohammad Reza Mousavi · First published 2014Open the Tome
