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

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Helena
@@ Property / describes a project that uses: Helena / 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/978-3-319-23165-5_16
+Normal rank
@@ Property / OpenAlex ID @@
+W2291767769
@@ Property / OpenAlex ID: W2291767769 / rank @@
+Normal rank
@@ 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