Conditional Probabilities over Probabilistic and Nondeterministic Systems (Q5458326): 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-540-78800-3_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1527704738
@@ Property / OpenAlex ID: W1527704738 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Directed Search for Probabilistic Timed Reachability
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Q3245701
@@ Property / cites work: Q3245701 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+A Formal Treatment of Onion Routing
@@ Property / cites work: A Formal Treatment of Onion Routing / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+A practical secret voting scheme for large scale elections
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples in Probabilistic Model Checking
@@ Property / cites work: Counterexamples in Probabilistic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551180
@@ Property / cites work: Q4551180 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic verification
@@ Property / cites work: Probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5458326