Jan Friso Groote

Books
Understanding Behaviour of Distributed Systems Using mCRL2 Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
2023
Tales of Electrologica Tales of Electrologica
Tales of Electrologica
2023
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2022