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