Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier H. Roux. Analyses statiques de la dynamique des réseaux d'automates indéterministes. Technique et Science Informatiques, 34(4):463-484, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.