Jan Friso Groote

Identifiers

Open LibraryOL7714341A

Top Subjects

Telecommunication systems (1)
Computer science, mathematics (1)
Machine theory (1)

Books by Jan Friso Groote

Total count: 6

Modeling and Analysis of Communicating Systems

MIT Press2014-01-01
Tools and Algorithms for the Construction and Analysis of Systems27th 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 I

Springer International Publishing AG2021-01-01
Logical Gates, Circuits, Processors, Compilers and Computers

Springer International Publishing AG2021-01-01
Formal Methods for Industrial Critical Systems27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Springer International Publishing AG2022-01-01
Tales of ElectrologicaComputers, Software and People

Springer International Publishing AG2022-01-01
Understanding Behaviour of Distributed Systems Using MCRL2

Springer International Publishing AG2023-01-01