Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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
International symposium, COMPOS '97 (1997 - 12-09-1997 : Bad Malente, Germany)
Langmaack, H. (1934-)
Langmaack, Hans
Langmaack, Hans (1934-)
Maler, O.
Maler, Oded
Manna, Zohar
Moler, C.
Roever, W.-P. de (1943-)
Stoer, J.
Virbitskaite, Irina
Wirth, N.
Titles: 
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
Temporal verification of reactive systems : safety
Verification of concurrent programs
Notes: 
Sources: 
VIAF LC NKC NTA NUKAT SUDOC WKP