Richer interface automata with optimistic and pessimistic compatibility (Q2350491): Difference between revisions

@@ Property / cites work @@
+Q5415578
@@ Property / cites work: Q5415578 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Transition Systems: Composition and LTL Model Checking
+Normal rank
@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+Nondeterministic Modal Interfaces
@@ Property / cites work: Nondeterministic Modal Interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+ACTL for modal interface automata
@@ Property / cites work: ACTL for modal interface automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Specification Theory for Component Behaviours
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality for quantitative specifications
@@ Property / cites work: Compositionality for quantitative specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Component refinement and CSC-solving for STG decomposition
+Normal rank
@@ Property / cites work @@
+Behavioral interface specification languages
@@ Property / cites work: Behavioral interface specification languages / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Modal Interface Automata
@@ Property / cites work: Modal Interface Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank