Jump to main content

yr 〜
yr

Search results 6

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)

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Paper図書
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingCOMPOS Roever, W.-P. de Langmaack, Hans Pnueli, A. (Amir)

Temporal verification of reactive systems : safety

Temporal verification of reactive systems : safety
Paper図書
Zohar Manna and Amir PnueliSpringer-Verlag1995
Other Libraries in Japan
  • Author HeadingManna, Zohar Pnueli, A. (Amir)

The temporal logic of reactive and concurrent systems [v. 1], Specification : us [v. 1], Specification : gw

The temporal logic of reactive and concurrent systems [v. 1], Specification : us [v. 1], Specification : gw
Paper図書
Zohar Manna, Amir PnueliSpringer-Verlagc1992-
Other Libraries in Japan
  • Author HeadingManna, Zohar Pnueli, A. (Amir)

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings : gw : us

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings : gw : us
Paper図書
B. Banieqbal, H. Barringer, A. Pnueli (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Author HeadingBanieqbal, Behnam Barringer, Howard Pnueli, A. (Amir) Colloquium on Temporal Logic ...

Integer programming over a cone

Integer programming over a cone
Paper図書
by Amir PnueliComputer Science Department, School of Humanities and Sciences, Stanford University1968
Other Libraries in Japan
  • Author HeadingPnueli, A. (Amir)

Reached to the end of result.

RSS