Eventually safe languages

DOI10.1007/978-3-030-24886-4_14OpenAlexW2962693512MaRDI QIDQ2327555

Denis Kuperberg, Simon Iosti

Publication date: 15 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-24886-4_14

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Unnamed Item ⋮ Minimization of automata for liveness languages

This page was built for publication: Eventually safe languages