Jan Friso Groote
4 books in the database
Books
Jan Friso Groote
Logical Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote · 2021
Jan Friso Groote
Modeling and Analysis of Communicating Systems
Jan Friso Groote · 2014
Jan Friso Groote
Formal Methods for Industrial Critical Systems
Jan Friso Groote · 2022
Jan Friso Groote
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote · 2021
Co-authored books and collections
Books that list Jan Friso Groote among their authors but not as the lead author: co-written works, collections and compilations.