More Precise Partition Abstractions (Q5452605): Difference between revisions

@@ Property / cites work @@
+Q4536601
@@ Property / cites work: Q4536601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884237
@@ Property / cites work: Q4884237 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank