More Precise Partition Abstractions (Q5452605): 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.1007/978-3-540-69738-1_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1522480582
@@ Property / OpenAlex ID: W1522480582 / rank @@
+Normal rank
@@ 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