Büchi Store: An Open Repository of Büchi Automata
From MaRDI portal
Publication:3000654
DOI10.1007/978-3-642-19835-9_23zbMath1316.68078MaRDI QIDQ3000654
Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang
Publication date: 19 May 2011
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-19835-9_23
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software