scientific article
From MaRDI portal
Publication:2911636
DOI10.4230/LIPICS.FSTTCS.2011.339zbMath1246.68140MaRDI QIDQ2911636
No author found.
Publication date: 31 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (1)
This page was built for publication:
