@inproceedings{KoeK23,
  title = {Forwards- and {{Backwards-Reachability}} for {{Cooperating Multi-Pushdown Systems}}},
  booktitle = {{{FCT}} 2023},
  author = {K{\"o}cher, Chris and Kuske, Dietrich},
  year = {2023},
  series = {Lecture {{Notes}} in {{Computer Science}}},
  volume = {14292},
  pages = {318--332},
  publisher = {{Springer}},
  doi = {10.1007/978-3-031-43587-4_23},
  isbn = {978-3-031-43586-7}
}