Comon, Hubert.
Overview
| Works: | 10 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer aided verification13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
(1998 :); Berry, Gerard.; Comon, Hubert.; Finkel, Alain.; SpringerLink (Online service)
(Electronic resources)
Constraints in computational logicstheory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /
by:
(1998 :); Comon, Hubert.; Marche, Claude.; SpringerLink (Online service); Treinen, Ralf.
(Electronic resources)
Rewriting techniques and applications8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings /
by:
(1998 :); Comon, Hubert.; SpringerLink (Online service)
(Electronic resources)