Model Checking for String Problems
From MaRDI portal
Publication:4981159
DOI10.1007/978-3-319-06686-8_15zbMath1407.68292MaRDI QIDQ4981159
Martin Lange, Milka Hutagalung
Publication date: 24 June 2014
Published in: Computer Science - Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06686-8_15
68Q60: Specification and verification (program logics, model checking, etc.)
68W32: Algorithms on strings