Katoen, Joost-Pieter

ID:DA12538874

同姓同名の著者を検索

検索結果7件中 1-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

所蔵館1館
2

Principles of model checking

Christel Baier, Joost-Pieter Katoen

MIT Press c2008

: hbk

所蔵館9館
3

Principles of model checking

Christel Baier, Joost-Pieter Katoen

MIT Press [2008]

所蔵館25館
4

Model-based testing of reactive systems : advanced lectures

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

Springer c2005 Lecture notes in computer science 3472

所蔵館12館
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

所蔵館25館
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

所蔵館28館
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

所蔵館37館

この著者を外部サイトでさがす

関連著者

ページトップへ