VIAF

Virtual International Authority File

Search

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

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

أمير بنولي Wikidata

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

VIAF ID: 59337776 (Personal)

Permalink: http://viaf.org/viaf/59337776

ISNI: 0000  0000  8386  4015 

Open Section Close Section Preferred Forms

 

 

 

 

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

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 Library of Congress/NACO
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO
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 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 Library of Congress/NACO
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers 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 the Czech Republic Sudoc [ABES], France NUKAT Center of Warsaw University Library Library of Congress/NACO
Temporal verification of reactive systems 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
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

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

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