VIAF

Virtual International Authority File

Search

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

Pnueli, Amir, 1941-2009 National Library of France Library of Congress/NACO

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

Open Section Close Section Selected Titles

  1. Temporal verification of reactive systems ‎(4) NUKAT Center of Warsaw University Library National Library of the Netherlands-test 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. Time for verification : essays in memory of Amir Pnueli ‎(1) Library of Congress/NACO
  10. The temporal logic of reactive and concurrent systems : specification ‎(1) NUKAT Center of Warsaw University Library

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