Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000083864015 | 1 hits
Person
ISNI: 
0000 0000 8386 4015
Name: 
Pnueli, A.
Pnueli, Amir
Pnwʾeliy, ʾAmiyr
פנואלי, אמיר
Dates: 
1941-2009
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Barringer, Howard (1951- ))
Langmaack, H. (1934-)
Langmaack, Hans
Langmaack, Hans (1934-)
Maler, O.
Maler, Oded
Manna, Zohar (1939-....))
Moler, C.
Roever, W.-P. de (1943-)
Stoer, J.
Virbitskaite, Irina
Wirth, N.
Titles: 
Advances in Cryptology — EUROCRYPT ’88 Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings
Compilation of nonprocedural specifications ... 1981
Compositionality: the significant difference : international symposium, COMPOS '97, Bad Malende, Germany, September 8-12, 1997 : revised lectures
From timed to hybrid systems
HSCC 2003
Hybrid systems computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
interleaving model for real time, An
Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983, The
PSI 2009
safety-progress classification, The
Temporal Logic in Specification Altrincham, UK, April 8–10, 1987 Proceedings
Temporal verification of reactive systems safety
Time for verification : essays in memory of Amir Pnueli
Verification of concurrent programs
Notes: 
Sources: 
VIAF LC NKC NTA NUKAT SUDOC WKP