On the verification of architectural reconfigurations (Q1749140): Difference between revisions

@@ Property / cites work @@
+Refinement in hybridised institutions
@@ Property / cites work: Refinement in hybridised institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4275688
@@ Property / cites work: Q4275688 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+On bisimulations for description logics
@@ Property / cites work: On bisimulations for description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331846
@@ Property / cites work: Q4331846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396631
@@ Property / cites work: Q3396631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791828
@@ Property / cites work: Q4791828 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural reconfiguration of systems under behavioral adaptation
+Normal rank