Selective mu-calculus and formula-based equivalence of transition systems (Q1970206): Difference between revisions

@@ Property / OpenAlex ID @@
+W2063176706
@@ Property / OpenAlex ID: W2063176706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036555
@@ Property / cites work: Q4036555 / rank @@
+Normal rank
@@ Property / cites work @@
+Local model checking for infinite state spaces
@@ Property / cites work: Local model checking for infinite state spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based model checking in the propositional mu-calculus
+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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336680
@@ Property / cites work: Q3336680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733387
@@ Property / cites work: Q4733387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037380
@@ Property / cites work: Q4037380 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality in state space verification methods
+Normal rank