\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566): Difference between revisions

@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 7398018
@@ Property / DOI @@
-.1016/j.ic.2020.104642
@@ Property / DOI: 10.1016/j.ic.2020.104642 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W3095063913
@@ Property / OpenAlex ID: W3095063913 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation-changing modal operators: Fig. 1.
@@ Property / cites work: Relation-changing modal operators: Fig. 1. / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics of sabotage revisited
@@ Property / cites work: Modal logics of sabotage revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422499
@@ Property / cites work: Q5422499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified CTL: Expressiveness and Model Checking
@@ Property / cites work: Quantified CTL: Expressiveness and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475142
@@ Property / cites work: Q4475142 / rank @@
+Normal rank
@@ Property / cites work @@
+Circuit-based search space pruning in QBF
@@ Property / cites work: Circuit-based search space pruning in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Augmenting branching temporal logics with existential quantification over atomic propositions
+Normal rank
@@ Property / cites work @@
+Quantified CTL: Expressiveness and Complexity
@@ Property / cites work: Quantified CTL: Expressiveness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Augmenting ATL with strategy contexts
@@ Property / cites work: Augmenting ATL with strategy contexts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013877
@@ Property / cites work: Q5013877 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804900
@@ Property / cites work: Q4804900 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified computation tree logic
@@ Property / cites work: Quantified computation tree logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769443
@@ Property / cites work: Q2769443 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2020.104642
@@ Property / DOI: 10.1016/J.IC.2020.104642 / rank @@
+Normal rank

\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566): Difference between revisions

CorrectionBot (talk | contribs)

Latest revision as of 08:02, 9 July 2025

Statements

Identifiers

Sitelinks

Mathematics(1 entry)