Jump to main content

yr 〜
yr

Search results 7

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.

International workshop on synthesis and analysis of component connectors : SYANCO '07 : at 6th ESEC/FSE : September 3-4, 2007 : Dubrovnik, Croatia. : Sep 2007, Dubrovnik, Croatia.

International workshop on synthesis and analysis of component connectors : SYANCO '07 : at 6th ESEC/FSE : September 3-4, 2007 : Dubrovnik, Croatia. : Sep 2007, Dubrovnik, Croatia.
Paper図書
Association for Computing Machineryc2007.<M17-09-1374>
National Diet Library
  • Author HeadingArbab, F. (Farhad) Baier, Christel. International Workshop on Syn...

CONCUR 2006 -- concurrency theory : 17th international conference, CONCUR 2006 : Bonn, Germany, August 27-30, 2006 : proceedings. : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4137)

CONCUR 2006 -- concurrency theory : 17th international conference, CONCUR 2006 : Bonn, Germany, August 27-30, 2006 : proceedings. : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4137)
Paper図書
Springerc2006.<M17-07-166>
National Diet Library
  • Author HeadingBaier, Christel. Hermanns, Holger, 1967- Inter...

Principles of model checking : hbk

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

Principles of model checking

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

CONCUR 2006 - concurrency theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, proceedings

CONCUR 2006 - concurrency theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, proceedings
Paper図書
Christel Baier, Holger Hermanns (eds.)Springerc2006
Other Libraries in Japan

Validation of stochastic systems : a guide to current research

Validation of stochastic systems : a guide to current research
Paper図書
Christel Baier ... [et al.] (eds.)Springerc2004
Other Libraries in Japan

Reached to the end of result.

RSS