scientific article; zbMATH DE number 1852173

zbMATH Open1002.68500MaRDI QIDQ4787252FDOQ4787252

Authors: Byron Cook, Nancy A. Day, Robert B. Jones, Mark D. Aagaard 

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440433

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1979547
• Algebraic models of correctness for microprocessors
• scientific article; zbMATH DE number 1107558
• A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic models of correctness for abstract pipelines.
• Algebraic models of correctness for microprocessors

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4787252)