Refinement checking on parametric modal transition systems (Q2340259): Difference between revisions

@@ Property / cites work @@
+Q4965855
@@ Property / cites work: Q4965855 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396636
@@ Property / cites work: Q3396636 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Decision Problems for Mixed and Modal Specifications
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity is P-complete
@@ Property / cites work: Deciding bisimilarity is P-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Refinement for Weighted Modal Transition Systems
+Normal rank
@@ Property / cites work @@
+Modal Transition Systems: Composition and LTL Model Checking
+Normal rank
@@ Property / cites work @@
+Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
+Normal rank
@@ Property / cites work @@
+Parametric Modal Transition Systems
@@ Property / cites work: Parametric Modal Transition Systems / rank @@
+Normal rank
@@ Property / cites work @@
+EXPTIME-completeness of thorough refinement on modal transition systems
+Normal rank
@@ Property / cites work @@
+Process Algebra for Modal Transition Systemses
@@ Property / cites work: Process Algebra for Modal Transition Systemses / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-Priced Modal Transition Systems with Time Durations
+Normal rank
@@ Property / cites work @@
+Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
+Normal rank
@@ Property / cites work @@
+On determinism in modal transition systems
@@ Property / cites work: On determinism in modal transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modal event-clock specifications for timed component-based design
+Normal rank
@@ Property / cites work @@
+Q4027619
@@ Property / cites work: Q4027619 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphical versus logical specifications
@@ Property / cites work: Graphical versus logical specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Don’t Know for Multi-valued Systems
@@ Property / cites work: Don’t Know for Multi-valued Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing disjunctive modal transition systems with an one-selecting variant
+Normal rank
@@ Property / cites work @@
+Q2848138
@@ Property / cites work: Q2848138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional may-must program analysis
@@ Property / cites work: Compositional may-must program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764132
@@ Property / cites work: Q2764132 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal transition systems with weight intervals
@@ Property / cites work: Modal transition systems with weight intervals / rank @@
+Normal rank
@@ Property / cites work @@
+MoTraS: A Tool for Modal Transition Systems and Their Extensions
+Normal rank
@@ Property / cites work @@
+On Refinements of Boolean and Parametric Modal Transition Systems
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+On Modal Refinement and Consistency
@@ Property / cites work: On Modal Refinement and Consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Interface Automata
@@ Property / cites work: Modal Interface Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Abstractions of Concurrent Behaviour
@@ Property / cites work: Modal Abstractions of Concurrent Behaviour / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Interface Theory for Component-based Design
+Normal rank
@@ Property / cites work @@
+Q3424633
@@ Property / cites work: Q3424633 / rank @@
+Normal rank