scientific article; zbMATH DE number 1857502
From MaRDI portal
Publication:4788549
zbMath1003.68619MaRDI QIDQ4788549
Andrew K. Martin, Jayanta Bhadra, Jacob A. Abraham, Magdy S. Abadir
Publication date: 2 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Mathematical problems of computer architecture (68M07)
Related Items (2)
Symbolic Trajectory Evaluation ⋮ A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor
This page was built for publication:
