Travelled to:
1 × United Kingdom
Collaborated with:
W.Vogler
Talks about:
decomposit (1) compon (1) refin (1) solv (1) stg (1) csc (1)
Person: Mark Schäfer
DBLP: Sch=auml=fer:Mark
Contributed to:
Wrote 1 papers:
- FoSSaCS-2005-SchaeferV #component #composition #refinement
- Component Refinement and CSC Solving for STG Decomposition (MS, WV), pp. 348–363.