On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289): Difference between revisions

@@ Property / describes a project that uses @@
+CUDD
@@ Property / describes a project that uses: CUDD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994996
@@ Property / cites work: Q3994996 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144754
@@ Property / cites work: Q4144754 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of hierarchical queueing networks and their analysis
+Normal rank
@@ Property / cites work @@
+Automated compositional Markov chain generation for a plain-old telephone system
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q3999188
@@ Property / cites work: Q3999188 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754196
@@ Property / cites work: Q2754196 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Q2703726
@@ Property / cites work: Q2703726 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Q5137353
@@ Property / cites work: Q5137353 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255554
@@ Property / cites work: Q4255554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518905
@@ Property / cites work: Q4518905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5820901
@@ Property / cites work: Q5820901 / rank @@
+Normal rank
@@ Property / cites work @@
+Transient solutions in Markovian queues. An algorithm for finding them and determining their waiting-time distributions
+Normal rank
@@ Property / cites work @@
+Generating BDDs for symbolic model checking in CCS
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional performance modelling with the TIPPtool
+Normal rank
@@ Property / cites work @@
+Q4841246
@@ Property / cites work: Q4841246 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast randomized consensus using shared memory
@@ Property / cites work: Fast randomized consensus using shared memory / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+Normal rank
@@ Property / cites work @@
+Q4268445
@@ Property / cites work: Q4268445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798030
@@ Property / cites work: Q4798030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472227
@@ Property / cites work: Q4472227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798031
@@ Property / cites work: Q4798031 / rank @@
+Normal rank