Foundations for Ensemble Modeling – The Helena Approach (Q5403077): Difference between revisions

@@ Property / describes a project that uses @@
+DEECO
@@ Property / describes a project that uses: DEECO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCEL
@@ Property / describes a project that uses: SCEL / 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-642-54624-2_18
+Normal rank
@@ Property / OpenAlex ID @@
+W191184567
@@ Property / OpenAlex ID: W191184567 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Modal Interface Theories for Communication-Safe Component Assemblies
+Normal rank
@@ Property / cites work @@
+Model-Checking Helena Ensembles with Spin
@@ Property / cites work: Model-Checking Helena Ensembles with Spin / rank @@
+Normal rank
@@ Property / cites work @@
+On the representation of roles in object-oriented and conceptual modelling
+Normal rank
@@ Property / cites work @@
+Q4417622
@@ Property / cites work: Q4417622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3540595
@@ Property / cites work: Q3540595 / rank @@
+Normal rank