@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 = {iandc},
  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},
}

@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},
}