Compositional Verification for Component-Based Systems and Application (Q3540064): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-88387-6_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2103672915
@@ Property / OpenAlex ID: W2103672915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204034
@@ Property / cites work: Q3204034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709867
@@ Property / cites work: Q3709867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769580
@@ Property / cites work: Q2769580 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural properties of petri nets
@@ Property / cites work: Structural properties of petri nets / rank @@
+Normal rank