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

@@ Property / DOI @@
-.1007/s00236-014-0211-0
@@ Property / DOI: 10.1007/s00236-014-0211-0 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MIO Workbench
@@ Property / describes a project that uses: MIO Workbench / 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/s00236-014-0211-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1966634263
@@ Property / OpenAlex ID: W1966634263 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00236-014-0211-0
@@ Property / DOI: 10.1007/S00236-014-0211-0 / rank @@
+Normal rank