(1)
Colange, M.; Racordon, D.; Buchs, D. Computing Bounds for Counter Automata.
ECEASST
2015
,
72
.