Relators and Notions of Simulation Revisited (bibtex)

by Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild

Reference:

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild: Relators and Notions of Simulation Revisited, In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, pp. 776–789, IEEE, 2025.

Bibtex Entry:

@inproceedings{DBLP:conf/lics/GoncharovHNSW25,
  author       = {Sergey Goncharov and
                  Dirk Hofmann and
                  Pedro Nora and
                  Lutz Schr{\"{o}}der and
                  Paul Wild},
  title        = {Relators and Notions of Simulation Revisited},
  booktitle    = {40th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2025, Singapore, June 23-26, 2025},
  pages        = {776--789},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/LICS65433.2025.00064},
  doi          = {10.1109/LICS65433.2025.00064},
  timestamp    = {Tue, 21 Oct 2025 20:15:58 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/GoncharovHNSW25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}