Jump to main content

yr 〜
yr

Search results 11

CONCUR 2011 -- concurrency theory : 22nd international conference, CONCUR 2011 : Aachen, Germany, September 6-9, 2011 : proceedings : Sep 2011, Aachen, Germany. (Lecture Notes in Computer Science ; 6901. Advanced Research in Computing and Software Science)

CONCUR 2011 -- concurrency theory : 22nd international conference, CONCUR 2011 : Aachen, Germany, September 6-9, 2011 : proceedings : Sep 2011, Aachen, Germany. (Lecture Notes in Computer Science ; 6901. Advanced Research in Computing and Software Science)
Paper図書
Springerc2011.<M17-12-1213>
National Diet Library
  • Author Heading...chen, Germany) Katoen, Joost-Pieter. König, Barbara, Prof. Dr.

Principles of model checking / Christel Baier, Joost-Pieter Katoen.

Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Paper図書
The MIT Press[2008?]<M159-B76>
National Diet Library
  • Author HeadingBaier, Christel. Katoen, Joost-Pieter.

Foundations of probabilistic programming : hardback

Foundations of probabilistic programming : hardback
Paper図書
edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra SilvaCambridge University Press2021
Other Libraries in Japan
  • Author HeadingBarthe, Gilles Katoen, Joost-Pieter Silva, Alexandra

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. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2280)

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. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2280)
Paper図書
Springer2002.<M17-03-4173>
National Diet Library
  • Author HeadingLaboratoire Verimag. Katoen, Joost-Pieter. Stevens, Perdita. TACAS 2002...

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

CONCUR 2011 - concurrency theory : 22st International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, proceedings
Paper図書
Joost-Pieter Katoen, Barbara König (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingInternational Conference on Concurrency Theory Katoen, Joost-Pieter König, Barbara

Principles of model checking : hbk

Principles of model checking : hbk
Paper図書
Christel Baier, Joost-Pieter KatoenMIT Pressc2008
Other Libraries in Japan
  • Author HeadingBaier, Christel Katoen, Joost-Pieter

Principles of model checking

Principles of model checking
Paper図書
Christel Baier, Joost-Pieter KatoenMIT Press[2008]
Other Libraries in Japan
  • Author HeadingBaier, Christel Katoen, Joost-Pieter

Model-based testing of reactive systems : advanced lectures

Model-based testing of reactive systems : advanced lectures
Paper図書
Manfred Broy ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingBroy, M. Jonsson, Bengt Katoen, Joost-Pieter Leucker, Martin Pretschner, A...

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

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
Paper図書
Joost-Pieter Katoen, Perdita Stevens (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingTACAS Katoen, Joost-Pieter Stevens, Perdita European Con...

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

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
Paper図書
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)Springerc2001
Other Libraries in Japan
  • Author Heading...rmanns, Holger Katoen, Joost-Pieter

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

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Paper図書
Joost-Pieter Katoen (ed.)Springerc1999
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Katoen, Joost-Pieter

Reached to the end of result.

RSS