VIAF

Virtual International Authority File

Search

Peled, Doron, 1962- NUKAT Center of Warsaw University Library Library and Archives Canada Library of Congress/NACO German National Library

Peled, Doron A., 1962-... National Library of the Czech Republic National Library of France Sudoc [ABES], France

Peled, Doron (Doron A.), 1962- National Library of the Netherlands-test

Peled, Doron A. ISNI-test

VIAF ID: 85346726 (Personal)

Permalink: http://viaf.org/viaf/85346726

ISNI-test: 0000  0001  0995  7608 

Open Section Close Section Preferred Forms

 

 

 

 

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

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

  • 510 2 _ ‎‡a  University of Warwick‏ ‎‡b  Department of Computer Science‏ ‎‡e  Affiliation German National Library

Open Section Close Section Selected Titles

  1. Model checking ‎(5) NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of France
  2. Software reliability methods ‎(3) National Library of the Netherlands-test Library of Congress/NACO German National Library
  3. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings ‎(3) National Library of the Netherlands-test Library of Congress/NACO
  4. Computer aided verification : 11th international conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings ‎(3) NUKAT Center of Warsaw University Library National Library of the Netherlands-test
  5. Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings ‎(3) National Library of the Netherlands-test Library of Congress/NACO
  6. Model checking and artificial intelligence 5th international workshop ; revised selected and invited papers ‎(2) German National Library
  7. MoChArt five ‎(2) Library of Congress/NACO
  8. Formal techniques for networked and distributed systems 22nd IFIP WG 6.1 international conference ; proceedings ‎(2) German National Library
  9. FORTE 2002 ‎(2) National Library of the Netherlands-test
  10. CAV'99 ‎(2) National Library of the Netherlands-test

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (4)

Open Section Close Section About

Open Section Close Section History of VIAF ID:85346726 (13)