Carrying Probabilities to the Infinite World (Q3090817): Difference between revisions

@@ Property / author @@
+Parosh Aziz Abdulla
@@ Property / author: Parosh Aziz Abdulla / 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.1007/978-3-642-23217-6_1
+Normal rank
@@ Property / OpenAlex ID @@
+W1937148577
@@ Property / OpenAlex ID: W1937148577 / rank @@
+Normal rank
@@ Property / cites work @@
+Well (and Better) Quasi-Ordered Transition Systems
+Normal rank
@@ Property / cites work @@
+Decisive Markov Chains
@@ Property / cites work: Decisive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Eager Markov Chains
@@ Property / cites work: Eager Markov Chains / rank @@
+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
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank