VIAF

Virtual International Authority File

Search

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

Pnueli, A. Library of Congress/NACO ISNI-test

Pnueli, Amir 1941-2009 National Library of France

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

Pnueli, Amir, 1941-.... Sudoc [ABES], France

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

Open Section Close Section Selected Titles

  1. Temporal verification of reactive systems ‎(4) National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France Library of Congress/NACO
  2. Verification of concurrent programs ‎(3) National Library of the Netherlands-test
  3. The temporal logic of reactive and concurrent systems ‎(3) National Library of the Netherlands-test Library of Congress/NACO
  4. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings ‎(2) NUKAT Center of Warsaw University Library Library of Congress/NACO
  5. Perspectives of systems informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers ‎(2) National Library of the Netherlands-test Library of Congress/NACO
  6. Hybrid systems: computation and control 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings ‎(2) National Library of the Netherlands-test Library of Congress/NACO
  7. Compositionality: the significant difference : international symposium, COMPOS '97, Bad Malende, Germany, September 8-12, 1997 : revised lectures ‎(2) National Library of the Netherlands-test
  8. Compositionality ‎(2) National Library of the Netherlands-test
  9. The temporal logic of reactive and concurrent systems : specification ‎(1) NUKAT Center of Warsaw University Library
  10. The safety-progress classification ‎(1) Library of Congress/NACO

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

Open Section Close Section About

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