No photo of Joost P. Katoen

Joost P. Katoen

1992 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1992 2018


Principles of Model Checking

Baier, C. & Katoen, J. P. May 2008 New York: MIT Press. 965 p.

Research output: Book/ReportBook


Tools and Algerithms for the Construction and Analysis of Systems

Katoen, J. P. & Stevens, P. 2002 Grenoble, France: Springer Verlag. 451 p. (Lecture Notes in Computer Science; no. 2280)

Research output: Book/ReportBook