scientific article; zbMATH DE number 1107561
From MaRDI portal
Publication:4373490
zbMath0886.68003MaRDI QIDQ4373490
Publication date: 21 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Algebraic models of correctness for abstract pipelines. ⋮ Algebraic models of behaviour and correctness of SMT and CMT processors ⋮ Reconstructing the heart
This page was built for publication:
