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/ReportBookAcademic

2002

Tools and Algerithms for the Construction and Analysis of Systems

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

Research output: Book/ReportBookAcademic