Algebraic models of microprocessors architecture and organisation (Q1815999): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s002360050051
+Normal rank
@@ Property / OpenAlex ID @@
+W2048827942
@@ Property / OpenAlex ID: W2048827942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999357
@@ Property / cites work: Q3999357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Foundations of VLSI Design
@@ Property / cites work: Theoretical Foundations of VLSI Design / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004176
@@ Property / cites work: Q4004176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028148
@@ Property / cites work: Q4028148 / rank @@
+Normal rank
@@ Property / cites work @@
+FM8501: a verified microprocessor
@@ Property / cites work: FM8501: a verified microprocessor / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Order Logic and Hardware Verification
@@ Property / cites work: Higher Order Logic and Hardware Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325543
@@ Property / cites work: Q4325543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039815
@@ Property / cites work: Q4039815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank