@inproceedings{RAMiCSGluck24,
  author       = {Gl{\"{u}}ck, R.},
  editor       = {Fahrenberg, U. and Fussner, W. and Gl{\"{u}}ck}, R.},
  title        = {A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14787},
  pages        = {119--134},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-68279-7\_8},
  doi          = {10.1007/978-3-031-68279-7\_8}
}