placeholder image

Katoen, Joost-Pieter

Person

Positions

University of Twente

selected publications

chapter
- Synthesis and Verification of Self-aware Computing Systems. Springer eBooks. 337-373. 2017
- The Modest Modeling Tool and Its Implementation. Lecture Notes in Computer Science. 2003

full name

Joost-Pieter Katoen

Publications in VIVO

Co-author Network