Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata
From MaRDI portal
Publication:4649286
DOI10.1007/978-3-642-33386-6_5zbMath1374.68265MaRDI QIDQ4649286
Publication date: 21 November 2012
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_5
68Q45: Formal languages and automata