|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Reachability Analysis of Synchronized PA-Systems
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
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:
@article{BET05,
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}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|