Katoen, Joost-Pieter

ID:DA12538874

Search authors sharing the same name

Search Results1-7 of 7

1

CONCUR 2011 - concurrency theory : 22st International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, proceedings

Joost-Pieter Katoen, Barbara König (eds.)

Springer c2010 Lecture notes in computer science 6269 . Advanced research in computing and software science

Available at 1 libraries
2

Principles of model checking

Christel Baier, Joost-Pieter Katoen

MIT Press c2008

: hbk

Available at 10 libraries
3

Principles of model checking

Christel Baier, Joost-Pieter Katoen

MIT Press [2008]

Available at 25 libraries
4

Model-based testing of reactive systems : advanced lectures

Manfred Broy ... [et al.] (eds.)

Springer c2005 Lecture notes in computer science 3472

Available at 12 libraries
5

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 2002, Grenoble, France, April 8-12, 2002 : proceedings

Joost-Pieter Katoen, Perdita Stevens (eds.)

Springer c2002 Lecture notes in computer science 2280

Available at 25 libraries
6

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

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Springer c2001 Lecture notes in computer science 2090

Available at 28 libraries
7

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

Joost-Pieter Katoen (ed.)

Springer c1999 Lecture notes in computer science 1601

Available at 37 libraries

Katoen, Joost-Pieter

Search Results1-7 of 7

Search this author

Related Authors