@article{BBH+11,
title = {Programs with lists are counter automata },
author = {Bouajjani, Ahmed and Bozga, Marius and Habermehl, Peter and Iosif, Radu and Moro, Pierre and Vojnar, Tom{\'a}s},
year = {2011},
journal = {Formal Methods in System Design},
number = {2},
pages = {158-192},
volume = {38},
team = {DCS,PACSS},
}