Refined Interfaces for Compositional Verification (Q3613065): Difference between revisions

@@ Property / describes a project that uses @@
+E-LOTOS
@@ Property / describes a project that uses: E-LOTOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Exp.Open
@@ Property / describes a project that uses: Exp.Open / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+fc2tools
@@ Property / describes a project that uses: fc2tools / 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/11888116_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1533440733
@@ Property / OpenAlex ID: W1533440733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036555
@@ Property / cites work: Q4036555 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942013
@@ Property / cites work: Q4942013 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating Sequential Processes. The First 25 Years
+Normal rank
@@ Property / cites work @@
+Compositional minimisation of finite state systems using interface specifications
+Normal rank
@@ Property / cites work @@
+Q4037089
@@ Property / cites work: Q4037089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760254
@@ Property / cites work: Q2760254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3613065