Jump to main content

yr 〜
yr

Search results 4

Computer aided verification : 19th international conference, CAV 2007 : Berlin, Germany, July 3-7, 2007 : proceedings. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4590)

Computer aided verification : 19th international conference, CAV 2007 : Berlin, Germany, July 3-7, 2007 : proceedings. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4590)
Paper図書
Springerc2007.<M17-07-2815>
National Diet Library
  • Author HeadingDamm, Werner. Hermanns, Holger, 1967- CAV (Conference) (19th : 2007...

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- International Conference on C...

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006 : held as part of the joint European conferences on theory and practice of software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings. : 9th European joint conference on theory and practice of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3920)

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006 : held as part of the joint European conferences on theory and practice of software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings. : 9th European joint conference on theory and practice of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3920)
Paper図書
Springerc2006.<M17-06-1872>
National Diet Library
  • Author HeadingTechnische Universität Wien. Hermanns, Holger, 1967- Palsberg, Jens. TACAS 2006 (2...

Process algebra and probabilistic methods : performance modeling and verification : second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2399)

Process algebra and probabilistic methods : performance modeling and verification : second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2399)
Paper図書
Springer2002.<M17-03-134>
National Diet Library
  • Author HeadingHermanns, Holger, 1967- Segala, Roberto, 1968- PAPM-P...

Reached to the end of result.

RSS