Model-Checking Helena Ensembles with Spin (Q2945715): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Multi-modeling Language?
@@ Property / cites work: What Is a Multi-modeling Language? / rank @@
+Normal rank
@@ Property / cites work @@
+Programming and Verifying Component Ensembles
@@ Property / cites work: Programming and Verifying Component Ensembles / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+The fork calculus
@@ Property / cites work: The fork calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for Ensemble Modeling – The Helena Approach
+Normal rank
@@ Property / cites work @@
+Q4240122
@@ Property / cites work: Q4240122 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic simulations
@@ Property / cites work: Algebraic simulations / rank @@
+Normal rank
@@ Property / cites work @@
+A formal approach to object-oriented software engineering
+Normal rank