Abstraction of hardware construction (Q4645815): Difference between revisions

@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ 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/3-540-61254-8_30
+Normal rank
@@ Property / OpenAlex ID @@
+W1841475614
@@ Property / OpenAlex ID: W1841475614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996818
@@ Property / cites work: Q3996818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753927
@@ Property / cites work: Q3753927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753930
@@ Property / cites work: Q3753930 / rank @@
+Normal rank
@@ Property / cites work @@
+FM8501: a verified microprocessor
@@ Property / cites work: FM8501: a verified microprocessor / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281671
@@ Property / cites work: Q4281671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028135
@@ Property / cites work: Q4028135 / rank @@
+Normal rank
@@ Property / cites work @@
+Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3999357
@@ Property / cites work: Q3999357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281998
@@ Property / cites work: Q4281998 / rank @@
+Normal rank