Souheib Baarir, Alexandre Duret-Lutz. Mechanizing the Minimization of Deterministic Generalized Büchi Automata. Erika Ábrahám; Catuscia Palamidessi. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. Springer,
HAL Archives-Ouvertes,
Souheib Baarir, Alexandre Duret-Lutz. Mechanizing the Minimization of Deterministic Generalized Büchi Automata.