Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000121477236 | 1 hits
Person
ISNI: 
0000 0001 2147 7236
Name: 
Sifakis, J.
Sifakis, Joseph
Dates: 
1946-
Creation class: 
Language material
Text
Creation role: 
author
editor
redactor
writer of accompanying material
Related names: 
Bouyssounouse, Bruno
Centre National de la Recherche Scientifique Affiliation (see also from)
EMSOFT (Conference)
Sangiovanni-Vincentelli, Alberto
Sangiovanni-Vincentelli, Alberto (1947-)
Sangiovanni-Vincentelli, Alberto L. (1947-)
Titles: 
ARTIST roadmap for research and development
Automatic verification methods ... c1990:
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
Embedded systems design : the ARTIST roadmap for research and development
EMSOFT 2002
Notes: 
Sources: 
VIAF DNB LC NKC NTA NUKAT SUDOC WKP