Sciweavers

TACAS
2004
Springer

FASTer Acceleration of Counter Automata in Practice

14 years 5 months ago
FASTer Acceleration of Counter Automata in Practice
Sébastien Bardin, Alain Finkel, Jér&
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where TACAS
Authors Sébastien Bardin, Alain Finkel, Jérôme Leroux
Comments (0)