No photo of Joost P. Katoen

Joost P. Katoen

prof.dr.ir.

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

Research Output 1992 2018

Filter
Book
2008

Principles of Model Checking

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

Research output: Book/ReportBook

2002

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