Doron Peled
6 published titles
Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings
(Contributor)
1 edition
- ISBN: 3540662022
- Springer
- 1999
- Details
Model checking
(Contributor)
1 edition
- ISBN: 0262032708
- MIT Press
- 1999
- Details
Software reliability methods
1 edition
- ISBN: 0387951067
- Springer
- 2001
- Details
Formal techniques for networked and distributed systems -FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540001417
- Springer
- 2002
- Details
Computer aided verification : 16th international conference, CAV 2004
(Contributor)
1 edition
- ISBN: 3540223428
- Springer
- 2004
- Details
Automated technology for verification and analysis : third international conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, proceedings
(Contributor)
1 edition
- ISBN: 9783540292098
- Springer
- 2005
- Details
