Joost-Pieter Katoen

5 published titles

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

(Contributor)

1 edition

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

(Contributor)

1 edition

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2

(Contributor)

1 edition

Principles of model checking

(Contributor)

1 edition

Concur 2011 - Concurrency theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 5-10 2011 : proceedings

(Contributor)

1 edition