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 (1934- ))
Langmaack, Hans (1934-)
Maler, O.
Maler, Oded
Manna, Zohar (1939-...)
Moler, C.
Roever, W.P. de
Stoer, J.
Virbitskaite, Irina
Wirth, N.
Titles: 
Temporal Logic in Specification Altrincham, UK, April 8–10, 1987 Proceedings
Temporal verification of reactive systems
Verification of concurrent programs
Notes: 
Sources: 
VIAF LC NKC NTA NUKAT SUDOC WKP