An algebraic theory for behavioral modeling and protocol synthesis in system design (Q2505638): Difference between revisions

@@ Property / cites work @@
+Q4439585
@@ Property / cites work: Q4439585 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817538
@@ Property / cites work: Q4817538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270076
@@ Property / cites work: Q4270076 / rank @@
+Normal rank