scientific article; zbMATH DE number 3382323
From MaRDI portal
Publication:5652657
zbMath0242.02038MaRDI QIDQ5652657
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines ⋮ The logic-termal equivalence is polynomial-time decidable ⋮ Äquivalente Transformationen für Flußdiagramme
This page was built for publication:
