On the Minimisation of Acyclic Models (Q3541025): Difference between revisions

@@ Property / author @@
-Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
-Normal rank
@@ Property / author @@
+Li-jun Zhang
@@ Property / author: Li-jun Zhang / 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-85361-9_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1548876510
@@ Property / OpenAlex ID: W1548876510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551157
@@ Property / cites work: Q4551157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845494
@@ Property / cites work: Q2845494 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
+Normal rank
@@ Property / cites work @@
+Q2842864
@@ Property / cites work: Q2842864 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix multiplication via arithmetic progressions
@@ Property / cites work: Matrix multiplication via arithmetic progressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551136
@@ Property / cites work: Q4551136 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic fault-tree models for fault-tolerant computer systems
+Normal rank
@@ Property / cites work @@
+Cones and foci: A mechanical framework for protocol verification
+Normal rank
@@ Property / cites work @@
+CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
+Normal rank
@@ Property / cites work @@
+Q4195940
@@ Property / cites work: Q4195940 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of normed simulations
@@ Property / cites work: A theory of normed simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Refined Interfaces for Compositional Verification
@@ Property / cites work: Refined Interfaces for Compositional Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472245
@@ Property / cites work: Q4472245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727385
@@ Property / cites work: Q3727385 / rank @@
+Normal rank
@@ Property / cites work @@
+Sigref – A Symbolic Bisimulation Tool Box
@@ Property / cites work: Sigref – A Symbolic Bisimulation Tool Box / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3541025