Home Advanced Search
Advanced Search - Page 1
Understanding Behaviour of Distributed Systems Using mCRL2
- English
- Year: 2023
- Author: Muhammad Atif, Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
- English
- Year: 2023
- Author: Muhammad Atif, Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
- EPUB
- English
- Year: 2023
- Author: Muhammad Atif; Jan Friso Groote
Logic Gates, Circuits, Processors, Compilers and Computers
- English
- Year: 2021
- Author: Jan Friso Groote
Tales of Electrologica. Computers, Software and People
- English
- Year: 2022
- Author: Gerard Alberts, Jan Friso Groote
Tales of Electrologica: Computers, Software and People
- English
- Year: 2023
- Author: Gerard Alberts, Jan Friso Groote
Tales of Electrologica: Computers, Software and People
- EPUB
- English
- Year: 2023
- Author: Gerard Alberts; Jan Friso Groote
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
- English
- Year: 2021
- Author: Jan Friso Groote, Kim Guldstrand Larsen
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
- English
- Year: 2021
- Author: Jan Friso Groote, Kim Guldstrand Larsen
Modeling and Analysis of Communicating Systems
- DJVU
- English
- Year: 2014
- Author: Jan Friso Groote, Mohammad Reza Mousavi