A. Finkel
2 published titles
Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540423451
- Springer
- 2001
- Details
Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642335112
- Springer
- 2012
- Details
