joost-pieter katoen Joost-Pieter Katoen's Documents - EPDF.PUB

Joost-Pieter Katoen's Documents

Joost-Pieter Katoen's Documents

Principles of Model Checking

Principles of Model Checking

CONCUR 2011 -- Concurrency Theory

CONCUR 2011 -- Concurrency Theory

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

Principles of Model Checking

Principles of Model Checking

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

Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Principles of Model Checking

Principles of Model Checking

Validation of Stochastic Systems - A Guide to Current Research

Validation of Stochastic Systems - A Guide to Current Research

Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Proefverlof

Proefverlof

Obsessie

Transito

Duel

Obsessie

De buitenvrouw

De Buitenvrouw

Duel

Transito

Zes Sterren

Proefverlof

Vals Licht

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)

Vals Licht

Vals Licht

Patrick Pearse: The Making of a Revolutionary

Patrick Pearse: The Making of a Revolutionary

De verzekering

Vals licht

De Verzekering

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close