Jan Friso Groote · 6 obras en el catálogoObrasModeling and Analysis of Communicating SystemsLogical Gates, Circuits, Processors, Compilers and ComputersTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of SystemsTTales of ElectrologicaTales of ElectrologicaFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical SystemsUUnderstanding Behaviour of Distributed Systems Using MCRL2Understanding Behaviour of Distributed Systems Using MCRL2
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
UUnderstanding Behaviour of Distributed Systems Using MCRL2Understanding Behaviour of Distributed Systems Using MCRL2
