Joost-Pieter Katoen's Documents

Joost-Pieter Katoen's Documents

Principles of Model Checking

Principles of Model Checking
Read more
CONCUR 2011 -- Concurrency Theory

CONCUR 2011 -- Concurrency Theory
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 8 conf., TACAS 2002

Tools and Algorithms for the Construction and Analysis of Systems, 8 conf., TACAS 2002
Read more
Principles of Model Checking

Principles of Model Checking
Read more
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings: ... - Proceedings 5th

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings: ... - Proceedings 5th
Read more
Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Lectures on Formal Methods and Performance Analysis, 1 school, 2000
Read more
Principles of Model Checking

Principles of Model Checking
Read more
Validation of Stochastic Systems - A Guide to Current Research

Validation of Stochastic Systems - A Guide to Current Research
Read more
Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Model-Based Testing of Reactive Systems, Advanced Lectures 2004
Read more
Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures
Read more
Proefverlof

Proefverlof
Read more
Proefverlof

Proefverlof
Read more
Obsessie

Obsessie
Read more
Transito

Transito
Read more
Duel

Duel
Read more
Obsessie

Obsessie
Read more
De buitenvrouw

De buitenvrouw
Read more
De Buitenvrouw

De Buitenvrouw
Read more
Duel

Duel
Read more
Transito

Transito
Read more
Zes Sterren

Zes Sterren
Read more
Proefverlof

Proefverlof
Read more
Vals Licht

Vals Licht
Read more
Conflict of Norms in Public International Law: How WTO Law Relates to other Rules of International Law (Cambridge Studies in International and Comparative Law)

Conflict of Norms in Public International Law: How WTO Law Relates to other Rules of International Law (Cambridge Studies in International and Comparative Law)
Read more
Vals Licht

Vals Licht
Read more
Vals Licht

Vals Licht
Read more
Patrick Pearse: The Making of a Revolutionary

Patrick Pearse: The Making of a Revolutionary
Read more
Conflict of Norms in Public International Law: How WTO Law Relates to other Rules of International Law (Cambridge Studies in International and Comparative Law)

Conflict of Norms in Public International Law: How WTO Law Relates to other Rules of International Law (Cambridge Studies in International and Comparative Law)
Read more
De verzekering

De verzekering
Read more
Vals licht

Vals licht
Read more