Moshe Y. Vardi
3 published titles
Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540646086
- Springer
- 1998
- 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
Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540201017
- Springer
- 2003
- Details
