I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Reachability Analysis of Synchronized PA-Systems

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}
}

GZipped PostScript (71 kB)
PDF (174 kB)
Journal version