@inproceedings{baarir:hal-01215522,
  TITLE = {{Mechanizing the Minimization of Deterministic Generalized B{\"u}chi Automata}},
  AUTHOR = {Baarir, Souheib and Duret-Lutz, Alexandre},
  URL = {https://hal.science/hal-01215522},
  NOTE = {Part 4: Bisimulation, Abstraction and Reduction},
  BOOKTITLE = {{34th Formal Techniques for Networked and Distributed Systems (FORTE)}},
  ADDRESS = {Berlin, Germany},
  EDITOR = {Erika {\'A}brah{\'a}m and Catuscia Palamidessi},
  PUBLISHER = {{Springer}},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {8461},
  PAGES = {266-283},
  YEAR = {2014},
  MONTH = Jun,
  DOI = {10.1007/978-3-662-43613-4\_17},
  PDF = {https://hal.science/hal-01215522/file/978-3-662-43613-4_17_Chapter.pdf},
  HAL_ID = {hal-01215522},
  HAL_VERSION = {v1},
}