Q3384170 (Q3384170): Difference between revisions

@@ Property / author @@
-M. A. Reynolds
@@ Property / author: M. A. Reynolds / rank @@
-Normal rank
@@ Property / author @@
+M. A. Reynolds
@@ Property / author: M. A. Reynolds / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Aalta
@@ Property / describes a project that uses: Aalta / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRP++
@@ Property / describes a project that uses: TRP++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GNU parallel
@@ Property / describes a project that uses: GNU parallel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Polsat
@@ Property / describes a project that uses: Polsat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Leviathan
@@ Property / describes a project that uses: Leviathan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02101
@@ Property / arXiv ID: 1709.02101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855364
@@ Property / cites work: Q4855364 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for CTL* Based on Tableaux and Automata
+Normal rank
@@ Property / cites work @@
+A One-Pass Tree-Shaped Tableau for LTL+Past
@@ Property / cites work: A One-Pass Tree-Shaped Tableau for LTL+Past / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283016
@@ Property / cites work: Q5283016 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite rules for \(\mathrm{CTL}^\ast\)
@@ Property / cites work: Rewrite rules for \(\mathrm{CTL}^\ast\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015285
@@ Property / cites work: Q5015285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838819
@@ Property / cites work: Q3838819 / rank @@
+Normal rank
@@ Property / cites work @@
+A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
+Normal rank