%0 Conference Paper %1 journals/entcs/BouajjaniET05 %A Bouajjani, Ahmed %A Esparza, Javier %A Touili, Tayssir %B INFINITY %D 2004 %E Bradfield, Julian C. %E Moller, Faron %I Elsevier %K dblp %N 3 %P 153-178 %T Reachability Analysis of Synchronized PA Systems. %U http://dblp.uni-trier.de/db/conf/infinity/infinity2004.html#BouajjaniET05 %V 138

@inproceedings{journals/entcs/BouajjaniET05, added-at = {2021-04-09T00:00:00.000+0200}, author = {Bouajjani, Ahmed and Esparza, Javier and Touili, Tayssir}, biburl = {https://www.bibsonomy.org/bibtex/2ec3ee3ce10e48bcf19342f81eee82fd8/dblp}, booktitle = {INFINITY}, crossref = {conf/infinity/2004}, editor = {Bradfield, Julian C. and Moller, Faron}, ee = {https://doi.org/10.1016/j.entcs.2005.02.063}, interhash = {2f58078a99b47bdf2c79b95602d515e7}, intrahash = {ec3ee3ce10e48bcf19342f81eee82fd8}, keywords = {dblp}, number = 3, pages = {153-178}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T04:50:53.000+0200}, title = {Reachability Analysis of Synchronized PA Systems.}, url = {http://dblp.uni-trier.de/db/conf/infinity/infinity2004.html#BouajjaniET05}, volume = 138, year = 2004 }