Comon, Hubert.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer aided verification = 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
Berry, Gerard.; Comon, Hubert.; Finkel, Alain.; SpringerLink (Online service); CAV (Conference) (2001 :)
(Language materials, printed)
Constraints in computational logics = theory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /
by:
Comon, Hubert.; Marche, Claude.; Treinen, Ralf.; SpringerLink (Online service); ESPRIT CCL Working Group ((2000 :)
(Language materials, printed)
Rewriting techniques and applications = 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings /
by:
Comon, Hubert.; SpringerLink (Online service); International Conference on Rewriting Techniques and Applications (1997 :)
(Language materials, printed)