Q5090956 (Q5090956): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking on Trees with Path Equivalences
@@ Property / cites work: Model Checking on Trees with Path Equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent secrets
@@ Property / cites work: Concurrent secrets / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding-Based Diagnosis of Systems with an Evolving Topology
+Normal rank
@@ Property / cites work @@
+Unfolding-based diagnosis of systems with an evolving topology
+Normal rank
@@ Property / cites work @@
+The complexity of diagnosability and opacity verification for Petri nets
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+MSO Decidability of Multi-Pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q5190791
@@ Property / cites work: Q5190791 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement: grammars and languages
@@ Property / cites work: Hyperedge replacement: grammars and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037325
@@ Property / cites work: Q4037325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474224
@@ Property / cites work: Q4474224 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+Reasoning about layered message passing systems
@@ Property / cites work: Reasoning about layered message passing systems / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. X: Obstructions to tree-decomposition
+Normal rank
@@ Property / cites work @@
+Q4965866
@@ Property / cites work: Q4965866 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5090956