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 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 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 and Regions 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)