Peled, Doron, 1962-
Peled, Doron A., 1962-...
Peled, Doron (Doron A.), 1962-
VIAF ID: 85346726 (Personal)
Permalink: http://viaf.org/viaf/85346726
Preferred Forms
-
200 _ | ‡a Peled ‡b Doron A. ‡f 1962-....
-
100 1 _ ‡a Peled, Doron ‡d (1962- ).
-
100 1 0 ‡a Peled, Doron, ‡d 1962-
-
100 1 _ ‡a Peled, Doron A., ‡d 1962-
-
100 1 _ ‡a Peled, Doron ‡d 1962-
-
100 1 _ ‡a Peled, Doron, ‡d 1962-
-
100 1 _ ‡a Peled, Doron ‡q (Doron A.), ‡d 1962-
-
100 1 _ ‡a Peled, Doron A., ‡d 1962-...
4xx's: Alternate Name Forms (6)
5xx's: Related Names (1)
- 510 2 _
‡a
University of Warwick
‡b
Department of Computer Science
‡e
Affiliation
Selected Titles
- Software reliability methods
(3)
- Model checking
(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)
- Computer aided verification : 11th international conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings
(3)
- Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
(3)
- Model checking and artificial intelligence 5th international workshop ; revised selected and invited papers
(2)
- Formal techniques for networked and distributed systems 22nd IFIP WG 6.1 international conference ; proceedings
(2)
- FORTE 2002
(2)
- CAV'99
(2)
- Automated technology for verification and analysis third international symposium ; proceedings
(2)
