@inproceedings{RAMiCSGluck23,
  author    = {Gl{\"{u}}ck, R.},
  editor    = {Gl{\"{u}}ck, R. and Santocanale, L. and Winter, M.},
  title     = {Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients},
  booktitle = {Relational and Algebraic Methods in Computer Science - 20th International
               Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13896},
  pages     = {87--104},
  publisher = {Springer},
  year      = {2023},
  url       = {https://doi.org/10.1007/978-3-031-28083-2\_6},
  doi       = {10.1007/978-3-031-28083-2\_6}
}