|
|
|
|
|
|
|
![](../../../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. 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}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|