Výsledky hledání pro autora

1

Obálka

Principles of model checking /

Autor Baier, Christel, Katoen, Joost-Pieter, 1964-
Vydáno 2008

Kniha

2

Obálka

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

Vydáno 1999

Další autoři: '; “...Katoen, Joost-Pieter, 1964-...”

Kniha

3

Obálka

Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings /

Vydáno 2001

Další autoři: '; “...Katoen, Joost-Pieter, 1964-...”

Kniha

4

Obálka

Lectures on Formal Methods and Performance Analysis : first EEF/Euro Summer School on Trends in Computer in Computer Science : Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

Vydáno 2001

Další autoři: '; “...Katoen, Joost-Pieter, 1964-...”

Kniha