Inherent Vacuity in Lattice Automata

DOI10.1007/978-3-319-23534-9_10zbMath1465.68178MaRDI QIDQ2947173

Orna Kupferman, Hila Gonen

Publication date: 22 September 2015

Published in: Fields of Logic and Computation II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23534-9_10

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q70: Algebraic theory of languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)