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 Wikipedia (en) ISNI-test National Library of the Netherlands-test German National Library

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

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 About

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