Weak Kripke Structures and LTL (Q3090846): 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-642-23217-6_28
+Normal rank
@@ Property / OpenAlex ID @@
+W129930684
@@ Property / OpenAlex ID: W129930684 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining test case generation and runtime verification
+Normal rank
@@ Property / cites work @@
+The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+Logical definability and query languages over ranked and unranked trees
+Normal rank
@@ Property / cites work @@
+A parametric analysis of the state-explosion problem in model checking
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics in simple cases
+Normal rank
@@ Property / cites work @@
+The Complexity of Poor Man's Logic
@@ Property / cites work: The Complexity of Poor Man's Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4910732
@@ Property / cites work: Q4910732 / rank @@
+Normal rank
@@ Property / cites work @@
+LTL Path Checking Is Efficiently Parallelizable
@@ Property / cites work: LTL Path Checking Is Efficiently Parallelizable / rank @@
+Normal rank
@@ Property / cites work @@
+The stuttering principle revisited
@@ Property / cites work: The stuttering principle revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mu-calculus path checking
@@ Property / cites work: Mu-calculus path checking / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank