Symbolic Automata: The Toolkit
From MaRDI portal
Publication:2894292
DOI10.1007/978-3-642-28756-5_33zbMath1352.68138MaRDI QIDQ2894292
Margus Veanes, Nikolaj Bjørner
Publication date: 29 June 2012
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_33
68Q45: Formal languages and automata
Related Items
Uses Software