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: 
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 (1939-...)
Roever, W.-P. de (1943-)
Roever, W.P. de
Roever, Willem Paul
Virbitskaite, Irina
Voronkov, Andrei (1959-)
Titles: 
Compilation of nonprocedural specifications ... 1981
COMPOS '97 (1997 : Malente, Germany). Compositionality,c1998:
Compositionality: the significant difference : international symposium, COMPOS '97, Bad Malende, Germany, September 8-12, 1997 : revised lectures
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, 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
PSI 2009
safety-progress classification, The
Temporal Logic in Specification : Altrincha UK, April 8-10, 1987 : Proceedings
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
Temporal logic in specification, c1989:
temporal logic of reactive and concurrent systems, The : specification
Temporal verification of reactive systems safety
Verification of concurrent programs
Notes: 
Sources: 
VIAF BNF LC NKC NTA NUKAT SUDOC WKP