FASTer Acceleration of Counter Automata in Practice.

Sbastien Bardin, Alain Finkel, Jrme Leroux

Browse the full TACAS paper archive.