Testing probabilistic automata (Q6104379): Difference between revisions

@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving time bounds for randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank