Q5009450 (Q5009450): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2018.32
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2018.32 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4673428
@@ Property / cites work: Q4673428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Satisfiability for PCTL
@@ Property / cites work: Bounded Satisfiability for PCTL / rank @@
+Normal rank
@@ Property / cites work @@
+Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Satisfiability of Some Simple Probabilistic Logics
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24--26, 2005. Proceedings.
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Pushdown Automata
@@ Property / cites work: Model Checking Probabilistic Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic propositional temporal logics
@@ Property / cites work: Probabilistic propositional temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the universal and existential fragments of the \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+A finite model theorem for the propositional \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Microcomputer technique.
@@ Property / cites work: Microcomputer technique. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337452
@@ Property / cites work: Q3337452 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2018.32
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2018.32 / rank @@
+Normal rank