VIAF

Virtual International Authority File

Search

Sifakis, Joseph, 1946-.... NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France National Library of the Czech Republic German National Library

Sifakis, Joseph Wikipedia (en)-test ISNI-test

Sifakis, J. (Joseph), 1946- Library of Congress/NACO

VIAF ID: 110770950 (Personal)

Permalink: http://viaf.org/viaf/110770950

ISNI-test: 0000  0001  2147  7236 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close Section 5xx's: Related Names (1)

  • 510 2 _ ‎‡a  Centre National de la Recherche Scientifique‏ ‎‡e  Affiliation German National Library

Open Section Close Section Selected Titles

  1. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings ‎(5) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO German National Library
  2. Embedded systems design : the ARTIST roadmap for research and development ‎(3) National Library of the Netherlands-test Library of Congress/NACO
  3. Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings ‎(3) National Library of the Netherlands-test Library of Congress/NACO
  4. EMSOFT 2002 ‎(2) National Library of the Netherlands-test
  5. Automatic verification methods for finite state systems ‎(1) NUKAT Center of Warsaw University Library
  6. Automatic verification methods ... c1990: ‎(1) Library of Congress/NACO
  7. ARTIST roadmap for research and development ‎(1) Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (1)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (2)

Open Section Close Section About

Open Section Close Section History of VIAF ID:110770950 (16)