scientific article
From MaRDI portal
Publication:2978510
DOI10.4230/LIPIcs.FSTTCS.2014.161zbMath1360.68537MaRDI QIDQ2978510
Shaull Almagor, Orna Kupferman, Denis Kuperberg
Publication date: 25 April 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
On High-Quality Synthesis ⋮ Lazy regular sensing ⋮ Sensing as a Complexity Measure ⋮ Lazy regular sensing
This page was built for publication: