Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar. Programs with Lists Are Counter Automata. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 517-531, Springer, 2006. [doi]
Abstract is missing.