VIAF

Virtual International Authority File

Search

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

Pnûʾēlî, Āmîr National Library of the Netherlands NUKAT Center of Warsaw University Library German National Library ISNI

أمير بنولي Wikidata

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

Pnueli, A. German National Library

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 (20)

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 Malende, Germany, September 8-12, 1997 : revised lectures National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France 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 National Library of the Netherlands Sudoc [ABES], France 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 National Library of the Netherlands Sudoc [ABES], France 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 NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of the Czech Republic
Temporal verification of reactive systems : safety NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of France
Time for verification : essays in memory of Amir Pnueli Library of Congress/NACO
Verification of concurrent programs National Library of the Netherlands Sudoc [ABES], France

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 (41)