Model Based Importance Analysis for Minimal Cut Sets (Q3540081): Difference between revisions

@@ Property / describes a project that uses @@
+MRMC
@@ Property / describes a project that uses: MRMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIGREF
@@ Property / describes a project that uses: SIGREF / 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-540-88387-6_27
+Normal rank
@@ Property / OpenAlex ID @@
+W1606271155
@@ Property / OpenAlex ID: W1606271155 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated compositional Markov chain generation for a plain-old telephone system
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Sigref – A Symbolic Bisimulation Tool Box
@@ Property / cites work: Sigref – A Symbolic Bisimulation Tool Box / rank @@
+Normal rank
@@ Property / cites work @@
+Q3510491
@@ Property / cites work: Q3510491 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3540081