Home
Scientific Axes
Members
Publications
Software
Collaborations
Activity Report
Seminars
Positions
Reference Details
Lavenier, Dominique, Mathieu, Giraud and Philippe, Verber (2007), "PATH-EQUIVALENT DEVELOPMENTS IN ACYCLIC WEIGHTED AUTOMATA", International Journal of Foundations of Computer Science (IJFCS) , 18 : 799-812 .

Webpage Link  Webpage Link

Symbiose Project Team - INRIA/Irisa © 2007 - 2008