Réécriture d'arbres de piles et traces de systèmes à compteurs. (Ground stack tree rewriting and traces of counter systems)

@inproceedings{Penelle2015RcritureDD,
  title={R{\'e}{\'e}criture d'arbres de piles et traces de syst{\`e}mes {\`a} compteurs. (Ground stack tree rewriting and traces of counter systems)},
  author={Vincent Penelle},
  year={2015}
}