scientific article
From MaRDI portal
Publication:2915700
DOI10.4230/LIPIcs.CSL.2011.428zbMath1247.68058MaRDI QIDQ2915700
Publication date: 18 September 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_f3c0.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Visibly pushdown modular games ⋮ Unnamed Item ⋮ Synthesizing structured reactive programs via deterministic tree automata
This page was built for publication:
