Jost-Pieter Katoen's Documents

Jost-Pieter Katoen's Documents

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
Principles of Model Checking

Principles of Model Checking
Read more
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
Attitudinal Ambivalence

Attitudinal Ambivalence
Read more
Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Lectures on Formal Methods and Performance Analysis, 1 school, 2000
Read more
Riemannian Geometry and Geometric Analysis

Riemannian Geometry and Geometric Analysis
Read more
Calculus of Variations (Cambridge Studies in Advanced Mathematics)

Calculus of Variations (Cambridge Studies in Advanced Mathematics)
Read more
Calculus of Variations (Cambridge Studies in Advanced Mathematics 64)

Calculus of Variations (Cambridge Studies in Advanced Mathematics 64)
Read more
Principles of Model Checking

Principles of Model Checking
Read more
Partial Differential Equations, Second Edition

Partial Differential Equations, Second Edition
Read more
Riemannian Geometry and Geometric Analysis

Riemannian Geometry and Geometric Analysis
Read more
Partial Differential Equations

Partial Differential Equations
Read more
Partial differential equations

Partial differential equations
Read more
Postmodern Analysis, 3rd Edition (Universitext)

Postmodern Analysis, 3rd Edition (Universitext)
Read more
Nonpositive Curvature: Geometric and Analytic Aspects (Lectures in Mathematics. ETH Zürich)

Nonpositive Curvature: Geometric and Analytic Aspects (Lectures in Mathematics. ETH Zürich)
Read more
Methodengeschichte der Germanistik (de Gruyter Lexikon)

Methodengeschichte der Germanistik (de Gruyter Lexikon)
Read more
Compact Riemann Surfaces: An Introduction to Contemporary Mathematics, 3rd Edition (Universitext)

Compact Riemann Surfaces: An Introduction to Contemporary Mathematics, 3rd Edition (Universitext)
Read more
Geometry and Physics

Geometry and Physics
Read more
Dynamical Systems: Examples of Complex Behaviour

Dynamical Systems: Examples of Complex Behaviour
Read more
Geometry and physics

Geometry and physics
Read more
Geometry and Physics

Geometry and Physics
Read more
Ip Studies in Advanced Mathematics)

Ip Studies in Advanced Mathematics)
Read more
The General Theory of Quantized Fields

The General Theory of Quantized Fields
Read more
Dynamical systems. Examples of complex behaviour

Dynamical systems. Examples of complex behaviour
Read more
Dynamical systems. Examples of complex behaviour

Dynamical systems. Examples of complex behaviour
Read more
Mythen der Rechten. Nation, Ethnie, Kultur

Mythen der Rechten. Nation, Ethnie, Kultur
Read more
Partial Differential Equations

Partial Differential Equations
Read more
Calculus of Variations (Cambridge Studies in Advanced Mathematics)

Calculus of Variations (Cambridge Studies in Advanced Mathematics)
Read more