Jump to main content

yr 〜
yr

Search results 2

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4202)

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4202)
Paper図書
Springerc2006.<M17-07-157>
National Diet Library
  • Author HeadingLaboratoire Specification et Verification (CNRS & ENS Cachan) Asarin, E. A. (Evgeniĭ Aleksa...

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL : Paris, France, September 10-13, 2001, proceedings. : Annual conference of the European Association for Computer Science Logic, CSL 2001 : Sep 2001, Paris, France. (Lecture Notes in Computer Science ; 2142)

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL : Paris, France, September 10-13, 2001, proceedings. : Annual conference of the European Association for Computer Science Logic, CSL 2001 : Sep 2001, Paris, France. (Lecture Notes in Computer Science ; 2142)
Paper図書
Springerc2001.<M17-03-2450>
National Diet Library
  • Author HeadingLaboratoire Specification et Verification (CNRS & ENS Cachan) Fribourg, Laurent, 1957- Euro...

Reached to the end of result.

RSS