scientific article; zbMATH DE number 978906
From MaRDI portal
Publication:4332902
zbMath0876.94056MaRDI QIDQ4332902
Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Publication date: 17 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
On the complexity of existence of homing sequences for nondeterministic finite state machines ⋮ Using logic to solve the submodule construction problem ⋮ Unnamed Item ⋮ Active learning of nondeterministic finite state machines ⋮ Synthesis of autosymmetric functions in a new three-level form ⋮ Automated assumption generation for compositional verification ⋮ Improving characteristics of LUT-based Mealy FSMs ⋮ Hardware reduction for LUT-based Mealy FSMs
This page was built for publication:
