VIAF

Virtual International Authority File

Search

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

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

أمير بنولي 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-test: 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-test 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-test
Hybrid systems: computation and control 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings National Library of the Netherlands-test 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 xR Extended Titles-test National Library of the Netherlands-test 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-test
The safety-progress classification Library of Congress/NACO
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 National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library 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-test

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

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