Tree regular model checking: a simulation-based approach (Q2500700): Difference between revisions

@@ 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.1016/j.jlap.2006.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2091043802
@@ Property / OpenAlex ID: W2091043802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754102
@@ Property / cites work: Q2754102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551159
@@ Property / cites work: Q4551159 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4474215
@@ Property / cites work: Q4474215 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Partial-order reduction in symbolic state-space exploration
+Normal rank
@@ Property / cites work @@
+Q4804925
@@ Property / cites work: Q4804925 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804924
@@ Property / cites work: Q4804924 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q2851061
@@ Property / cites work: Q2851061 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851067
@@ Property / cites work: Q2851067 / rank @@
+Normal rank