Minimizing Generalized Büchi Automata
From MaRDI portal
Publication:5756738
DOI10.1007/11817963_7zbMath1188.68174OpenAlexW2045235791MaRDI QIDQ5756738
Publication date: 5 September 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11817963_7
Related Items (3)
Simulation relations and applications in formal methods ⋮ Synthesis of Reactive(1) designs ⋮ Büchi Automata Can Have Smaller Quotients
This page was built for publication: Minimizing Generalized Büchi Automata
