Publication:5351957
From MaRDI portal
DOI10.4230/LIPIcs.CSL.2015.175zbMath1373.68288MaRDI QIDQ5351957
Publication date: 31 August 2017
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)