VIAF

Virtual International Authority File

Search

Pnueli, Amir, 1941-2009 German National Library Sudoc [ABES], France National Library of Israel National Library of France Library of Congress/NACO

Pnueli, Amir. National Library of the Netherlands BIBSYS NUKAT Center of Warsaw University Library ISNI

أمير بنولي Wikidata

פנואלי, אמיר, 1941-2009 National Library of Israel

Pnueli, A. (Amir), 1941- National Library of the Czech Republic

VIAF ID: 59337776 (Personal)

Permalink: https://viaf.org/viaf/59337776

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (24)

Open Section Close Section 5xx's: Related Names (3)

Open Section Close SectionWorks

Title Sources
Advances in Cryptology — EUROCRYPT ’88 : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings Sudoc [ABES], France
Compilation of nonprocedural specifications ... 1981 National Library of Israel Library of Congress/NACO
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures National Library of the Netherlands National Library of Israel NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France BIBSYS
Decidability problems in program schemes and dynamic logics, 1988: National Library of Israel
From timed to hybrid systems Library of Congress/NACO
HSCC 2003 National Library of the Netherlands
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings Sudoc [ABES], France National Library of the Netherlands BIBSYS Library of Congress/NACO
An interleaving model for real time Library of Congress/NACO
Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 BIBSYS Library of Congress/NACO
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers German National Library Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 Sudoc [ABES], France
PSI 2009 National Library of the Netherlands
The safety-progress classification Library of Congress/NACO
Spécification algébrique de types de données à accès concurrent Sudoc [ABES], France
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings National Library of Israel NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Czech Republic Sudoc [ABES], France BIBSYS
Temporal verification of reactive systems safety German National Library National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France National Library of France BIBSYS
Time for verification : essays in memory of Amir Pnueli Library of Congress/NACO
Verification of concurrent programs Sudoc [ABES], France National Library of the Netherlands BIBSYS

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section About

Open Section Close Section History of VIAF ID:59337776 (17)