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


Ahmed Bouajjani, Javier Esparza, and Tayssir Touili. Reachability analysis of synchronized PA-systems. Electronic Notes in Theoretical Computer Science, 138(3):153–178, 2005.

Suggested BibTeX entry:

    author = {Ahmed Bouajjani and Javier Esparza and Tayssir Touili},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {3},
    pages = {153--178},
    title = {Reachability Analysis of Synchronized {PA}-Systems},
    volume = {138},
    year = {2005}

GZipped PostScript (76 kB)
PDF (137 kB)
Conference version