Two-layer symbolic representation for stochastic models with phase-type distributed events (Q2792888): Difference between revisions

@@ Property / Wikidata QID @@
+Q58598134
@@ Property / Wikidata QID: Q58598134 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ESP
@@ Property / describes a project that uses: ESP / 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.1080/00207721.2013.822940
+Normal rank
@@ Property / OpenAlex ID @@
+W2115777567
@@ Property / OpenAlex ID: W2115777567 / rank @@
+Normal rank
@@ Property / cites work @@
+Aggregation of stochastic automata networks with replicas
+Normal rank
@@ Property / cites work @@
+A benchmark for ph estimation algorithms: results for acyclic-ph
+Normal rank
@@ Property / cites work @@
+Workload-Based Software Rejuvenation in Cloud Systems
+Normal rank
@@ Property / cites work @@
+Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
+Normal rank
@@ Property / cites work @@
+A decomposition approach for stochastic reward net models
+Normal rank
@@ Property / cites work @@
+A Symbolic Algorithm for Optimal Markov Chain Lumping
+Normal rank
@@ Property / cites work @@
+Generating BDDs for symbolic model checking in CCS
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+A Fully Symbolic Bisimulation Algorithm
@@ Property / cites work: A Fully Symbolic Bisimulation Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2792888