Travelled to:
1 × France
Collaborated with:
R.Caferra N.Peltier
Talks about:
automat (1) method (1) extens (1) experi (1) otter (1) model (1) build (1)
Person: Christophe Bourely
DBLP: Bourely:Christophe
Contributed to:
Wrote 1 papers:
- CADE-1994-BourelyCP #automation #modelling
- A Method for Building Models Automatically. Experiments with an Extension of OTTER (CB, RC, NP), pp. 72–86.