Reference:

Ahmed Bouajjani, Javier Esparza, and Tayssir Touili. Reachability analysis of synchronized PA-systems. In Proceedings of Infinity 2004, 2004.

Suggested BibTeX entry:

@inproceedings{BET04,
    author = {Ahmed Bouajjani and Javier Esparza and Tayssir Touili},
    booktitle = {Proceedings of Infinity 2004},
    title = {Reachability Analysis of Synchronized {PA}-Systems},
    year = {2004}
}