Amir Pnueli
3 published titles
Temporal verification of reactive systems : safety
(Contributor)
1 edition
- ISBN: 0387944591
- Springer
- 1995
- Details
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12 1997 : revised lectures
(Contributor)
1 edition
- ISBN: 3540654933
- Springer
- 1998
- Details
Hybrid systems : computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540009132
- Springer
- 2003
- Details
