scientific article
From MaRDI portal
Publication:4037107
zbMath0765.94025MaRDI QIDQ4037107
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On Formal Equivalence Verification of Hardware ⋮ Formal communication elimination and sequentialization equivalence proofs for distributed system models
This page was built for publication:
