Sifakis, Joseph, 1946-....
Sifakis, J. (Joseph), 1946-
Sifakis, Joseph
VIAF ID: 110770950 (Personal)
Permalink: http://viaf.org/viaf/110770950
Preferred Forms
-
100 1 _ ‡a Sifakis, Joseph, ‡d 1946-....
-
100 1 _ ‡a Sifakis, Joseph, ‡d 1946-
-
100 1 _ ‡a Sifakis, Joseph
-
100 1 _ ‡a Sifakis, Joseph ‡d (1946- ).
-
100 1 0 ‡a Sifakis, J. ‡q (Joseph), ‡d 1946-
-
100 1 _ ‡a Sifakis, Joseph, ‡d 1946-
-
100 1 _ ‡a Sifakis, Joseph (undifferentiated)
4xx's: Alternate Name Forms (2)
Selected Titles
- Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
(6)
- Embedded systems design : the ARTIST roadmap for research and development
(3)
- Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
(3)
- EMSOFT 2002
(2)
- Automatic verification methods for finite state systems
(1)
- Automatic verification methods ... c1990:
(1)
- ARTIST roadmap for research and development
(1)
