Pnueli, Amir, 1941-2009
Pnueli, Amir.
אמיר פנואלי
أمير بنولي
פנואלי, אמיר, 1941-2009
Pnueli, A. (Amir), 1941-
Pnueli, A.
VIAF ID: 59337776 ( Personal )
Permalink: http://viaf.org/viaf/59337776
Preferred Forms
-
-
-
-
-
-
- 100 1 _ ‡a Pnueli, Amir ‡d 1941-2009
- 100 1 _ ‡a Pnueli, Amir, ‡d 1941-2009
-
- 100 1 _ ‡a Pnueli, Amir, ‡d 1941-2009
-
- 100 0 _ ‡a אמיר פנואלי
-
- 100 0 _ ‡a أمير بنولي
4xx's: Alternate Name Forms (35)
5xx's: Related Names (3)
- 551 _ _ ‡a Nahalal ‡4 ortg ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Nazareth ‡z Region ‡4 ortg ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a New York, NY ‡4 orts ‡4 http://d-nb.info/standards/elementset/gnd#placeOfDeath
Works
Title | Sources |
---|---|
Compilation of nonprocedural specifications ... 1981 | |
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures | |
Decidability problems in program schemes and dynamic logics, 1988: | |
From timed to hybrid systems | |
HSCC 2003 | |
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings | |
An interleaving model for real time | |
Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 | |
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers | |
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 | |
PSI 2009 | |
The safety-progress classification | |
Special issue on hybrid systems | |
Spécification algébrique de types de données à accès concurrent | |
Specification and verification of concurrent programs by A-automata | |
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987 Proceedings | |
Temporal verification of reactive systems | |
Time for verification : essays in memory of Amir Pnueli |