Liste des citations dans Numdam pour : Graphes canoniques de graphes algébriques

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990), p. 339-352 / Harvested from Numdam

Huynh, Dung T. ; Tian, Lu

On deciding some equivalences for concurrent processes
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994), p. 51-71 / Harvested from Numdam