scientific article
From MaRDI portal
Publication:2754078
zbMath0974.94502MaRDI QIDQ2754078
Thomas R. Shiple, James H. Kukula
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Functional synthesis via input-output separation ⋮ Synthesis of Reactive(1) designs ⋮ Symbolic bounded synthesis ⋮ Towards Parallel Boolean Functional Synthesis