Model checking discounted temporal properties (Q2575738): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.07.033
@@ Property / DOI: 10.1016/j.tcs.2005.07.033 / rank @@
-Normal rank
@@ Property / author @@
-Mariëlle I. A. Stoelinga
@@ Property / author: Mariëlle I. A. Stoelinga / rank @@
-Normal rank
@@ Property / author @@
+Mariëlle I. A. Stoelinga
@@ Property / author: Mariëlle I. A. Stoelinga / rank @@
+Normal rank
@@ 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.1016/j.tcs.2005.07.033
+Normal rank
@@ Property / OpenAlex ID @@
+W2109187338
@@ Property / OpenAlex ID: W2109187338 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4368722
@@ Property / cites work: Q4368722 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849845
@@ Property / cites work: Q2849845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255558
@@ Property / cites work: Q4255558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428307
@@ Property / cites work: Q4428307 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability with Martingales
@@ Property / cites work: Probability with Martingales / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.07.033
@@ Property / DOI: 10.1016/J.TCS.2005.07.033 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2575738