Complementing Büchi Automata with Ranker

From MaRDI portal

Publication:6487336

Jump to:navigation, search

DOI10.1007/978-3-031-13188-2_10zbMath1514.681MaRDI QIDQ6487336

Vojtěch Havlena, Unnamed Author, Ondřej Lengál

Publication date: 7 December 2022

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Complementing Büchi Automata with Ranker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6487336&oldid=37943421"