Travelled to:
1 × Austria
Collaborated with:
H.Garavel R.Mateescu D.Bergamini A.Curic N.Descoubes C.Joubert I.Smarandache-Sturm
Talks about:
distributor (1) distribut (1) explicit (1) generat (1) state (1) space (1) tool (1) merg (1) bcg (1)
Person: Gilles Stragier
DBLP: Stragier:Gilles
Contributed to:
Wrote 1 papers:
- TACAS-2006-GaravelMBCDJSS #distributed #generative #tool support
- DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.