Approximating Deterministic Lattice Automata
From MaRDI portal
Publication:4649285
DOI10.1007/978-3-642-33386-6_4zbMath1375.68073OpenAlexW106975791MaRDI QIDQ4649285
Orna Kupferman, Shulamit Halamish
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_4
Related Items