Jump to main content

yr 〜
yr

Search results 3

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings
Paper図書
Ahmed Bouajjani, Oded Maler (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingCAV (Conference) Bouajjani, Ahmed Maler, Oded

Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings

Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
Paper図書
Oded Maler, Amir Pnueli (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Maler, Oded Pnueli, A. (Amir)

Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings

Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings
Paper図書
Oded Maler, (ed.)Springer-Verlagc1997
Other Libraries in Japan
  • Author HeadingMaler, Oded International Workshop on Hyb...

Reached to the end of result.

RSS