Bisimilar States in Uncertain Structures (bibtex)

Reference:

Jurriaan Rot and Thorsten Wißmann: Bisimilar States in Uncertain Structures, In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), Leibniz International Proceedings in Informatics, pp. 12:1–12:17, 2023.

Bibtex Entry:

@inproceedings{RW23,
  author       = {Jurriaan Rot and Thorsten Wi{\ss}mann},
  title        = {Bisimilar States in Uncertain Structures},
  booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
  series = {Leibniz International Proceedings in Informatics},
  pages = {12:1--12:17},
  year         = {2023},
  month         = {09},
  doi = {10.4230/LIPIcs.CALCO.2023.12},
  preprinturl = {https://arxiv.org/abs/2303.15279},
}