Computing Bounds for Counter Automata

Colange, Maximilien; Racordon, Dimitri; Buchs, Didier

by Maximilien Colange, Dimitri Racordon, Didier Buchs

Reference:

Computing Bounds for Counter Automata (Maximilien Colange, Dimitri Racordon, Didier Buchs), In ECEASST, volume 72, 2015.

Bibtex Entry:

@article{colange2015computing,
	Author = {Maximilien Colange and Dimitri Racordon and Didier Buchs},
	Journal = {{ECEASST}},
	Title = {Computing Bounds for Counter Automata},
	Volume = {72},
	Year = {2015},
	url = {documents/avocs_2015.pdf}}