yr 〜
yr

Search results 3

Hybrid systems: computation and control : 7th international workshop, HSCC 2004 : Philadelphia, PA, USA, March 25-27, 2004 : proceedings. : annual workshop on hybrid systems : Mar 2004, Philadelphia, PA. (Lecture Notes in Computer Science ; 2993)

Hybrid systems: computation and control : 7th international workshop, HSCC 2004 : Philadelphia, PA, USA, March 25-27, 2004 : proceedings. : annual workshop on hybrid systems : Mar 2004, Philadelphia, PA. (Lecture Notes in Computer Science ; 2993)
Paper図書
Springer-Verlagc2004.<M17-04-2955>
National Diet Library
  • Author HeadingAlur, Rajeev, 1966- Pappas, George J. HSCC 2004 (...

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)
Paper図書
Springerc2004.<M17-05-75>
National Diet Library
  • Author HeadingAlur, Rajeev, 1966- Peled, Doron, 1962- CAV (Conf...

Embedded software : third international conference, EMSOFT 2003 : Philadelphia, PA, USA, October 13-15, 2003 : proceedings. : Oct 2003, Philadelphia, PA. (Lecture Notes in Computer Science ; 2855)

Embedded software : third international conference, EMSOFT 2003 : Philadelphia, PA, USA, October 13-15, 2003 : proceedings. : Oct 2003, Philadelphia, PA. (Lecture Notes in Computer Science ; 2855)
Paper図書
Springerc2003.<M17-04-946>
National Diet Library
  • Author HeadingAlur, Rajeev, 1966- Lee, Insup. EMSOFT 2003 (2003...

Reached to the end of result.