Travelled to:
1 × Italy
Collaborated with:
M.Rusinowitch
Talks about:
transit (2) polynomi (1) system (1) linear (1) comput (1) meta (1)
Person: Julien Musset
DBLP: Musset:Julien
Contributed to:
Wrote 1 papers:
- FME-2003-MussetR #linear
- Computing Meta-transitions for Linear Transition Systems with Polynomials (JM, MR), pp. 562–581.