On Symbolic Verification of Weakly Extended PAD (Q2866343): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2006.10.053
@@ Property / DOI: 10.1016/j.entcs.2006.10.053 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2006.10.053
+Normal rank
@@ Property / OpenAlex ID @@
+W4301138892
@@ Property / OpenAlex ID: W4301138892 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842873
@@ Property / cites work: Q2842873 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking for infinite-state concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4738300
@@ Property / cites work: Q4738300 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimulation-like equivalences with finite-state processes
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847415
@@ Property / cites work: Q2847415 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4417868
@@ Property / cites work: Q4417868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251913
@@ Property / cites work: Q4251913 / rank @@
+Normal rank
@@ Property / cites work @@
+Process rewrite systems.
@@ Property / cites work: Process rewrite systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2006.10.053
@@ Property / DOI: 10.1016/J.ENTCS.2006.10.053 / rank @@
+Normal rank