Jan Friso Groote

No bio available. Add one in Open Library.

Books by Jan Friso Groote (50 max)

+ shelf+ list

Modeling and Analysis of Communicating Systems

2014

Jan Friso Groote, Mohammad Reza Mousavi

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings, Part II

2021

Jan Friso Groote, Kim Guldstrand Larsen

+ shelf+ list

Tales of Electrologica: Computers, Software and People

2022

Gerard Alberts, Jan Friso Groote

+ shelf+ list

Understanding Behaviour of Distributed Systems Using MCRL2

2023

Muhammad Atif, Jan Friso Groote

+ shelf+ list

Logical Gates, Circuits, Processors, Compilers and Computers

2021

Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins

+ shelf+ list

Formal Methods for Industrial Critical Systems 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

2022

Jan Friso Groote, Marieke Huisman