Algebraic models of microprocessors architecture and organisation
type: Item
instance of: scholarly article
title: Algebraic models of microprocessors architecture and organisation
zbMATH Open document ID: 0855.68064
author: N. A. Harman
author: John V. Tucker
published in: Acta Informatica
publication date: 1996-11-21T00:00:00Z
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 948626
zbMATH Keywords: algebraic models
zbMATH Keywords: microprocessors
describes a project that uses: OBJ3
describes a project that uses: HOL
describes a project that uses: NQTHM
MaRDI profile type: Publication
full work available at URL: s002360050051
OpenAlex ID: W2048827942
cites work: Q3999357
cites work: Q4040283
cites work: Theoretical Foundations of VLSI Design
cites work: Q3221381
cites work: Q4004176
cites work: Q4028148
cites work: FM8501: a verified microprocessor
cites work: The Mechanical Evaluation of Expressions
cites work: Q4023825
cites work: Higher Order Logic and Hardware Verification
cites work: Q4325543
cites work: Q4039815
cites work: Q4385539
DOI: 10.1007/S002360050051
description: scientific article; zbMATH DE number 948626