@article{BouajjaniMT07,
  title = {Permutation rewriting and algorithmic verification},
  author = {Ahmed Bouajjani and Anca Muscholl and Tayssir Touili},
  year = {2007},
  doi = {10.1016/j.ic.2005.11.007},
  url = {http://dx.doi.org/10.1016/j.ic.2005.11.007},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/BouajjaniMT07},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {205},
  number = {2},
  pages = {199-224},
}

@inproceedings{AtigBT08:0,
  title = {On the Reachability Analysis of Acyclic Networks of Pushdown Systems},
  author = {Mohamed Faouzi Atig and Ahmed Bouajjani and Tayssir Touili},
  year = {2008},
  doi = {10.1007/978-3-540-85361-9_29},
  url = {http://dx.doi.org/10.1007/978-3-540-85361-9_29},
  tags = {analysis},
  researchr = {https://researchr.org/publication/AtigBT08%3A0},
  cites = {0},
  citedby = {0},
  pages = {356-371},
  booktitle = {CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  editor = {Franck van Breugel and Marsha Chechik},
  volume = {5201},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85360-2},
}

@inproceedings{BouajjaniMT05,
  title = {Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems},
  author = {Ahmed Bouajjani and Markus Müller-Olm and Tayssir Touili},
  year = {2005},
  doi = {10.1007/11539452_36},
  url = {http://dx.doi.org/10.1007/11539452_36},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BouajjaniMT05},
  cites = {0},
  citedby = {0},
  pages = {473-487},
  booktitle = {CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  editor = {Martín Abadi and Luca de Alfaro},
  volume = {3653},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28309-9},
}