https://www.utwente.nl/en/eemcs/fmt/neo-news/2026/4/880431/joost-pieter-katoen-awarded-khmw-langerhuizen-lifetime-achievement-award
Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement Award
We are very proud of our FMT group member, Joost-Pieter Katoen, for being awarded the KHMW Langerhuizen Lifetime Achievement Award. A great recognition for all...
joost pieter katoenlifetime achievementawardedkhmw
https://www.abebooks.com/9780262026499/Principles-Model-Checking-Press-Baier-026202649X/plp
Principles of Model Checking (Mit Press) - Baier, Christel; Katoen, Joost-Pieter: 9780262026499 -...
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive...
principles of model checkingmit press