Reachability analysis of synchronized PA systems (2004)

by Ahmed Bouajjani, Javier Esparza, Tayssir Touili
Venue:In Proceedings of Infinity 2004