Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
From MaRDI portal
Publication:3602799
DOI10.1007/978-3-540-70844-5_5zbMath1172.68531MaRDI QIDQ3602799
Publication date: 12 February 2009
Published in: Implementation and Applications of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70844-5_5
68Q45: Formal languages and automata