Jan Friso Groote

Formal Methods for Industrial Cri...

Formal Methods for Industrial Critical Systems

Year unknown Jan Friso Groote and Marieke Huisman

Logical Gates, Circuits, Processors, Compilers and Computers

Year unknown Julien Schmaltz, Adam Watkins, Jan Friso Groote, and Rolf Morel

Modeling and Analysis of Communicating Systems

Year unknown Jan Friso Groote and Mohammad Reza Mousavi

Tales of Electrologica

Tales of Electrologica

Year unknown Gerard Alberts and Jan Friso Groote

Tools and Algorithms for the Cons...

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown Jan Friso Groote and Kim Guldstrand Larsen

Understanding Behaviour of Distri...

Understanding Behaviour of Distributed Systems Using MCRL2

Year unknown Muhammad Atif and Jan Friso Groote