Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms (Q3540062): Difference between revisions

@@ Property / cites work @@
+Q3906386
@@ Property / cites work: Q3906386 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
+Normal rank
@@ Property / cites work @@
+Arbitration without common modifiable variables
@@ Property / cites work: Arbitration without common modifiable variables / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization by Simulated Annealing
@@ Property / cites work: Optimization by Simulated Annealing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845469
@@ Property / cites work: Q4845469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845470
@@ Property / cites work: Q4845470 / rank @@
+Normal rank
@@ Property / cites work @@
+Discriminative Model Checking
@@ Property / cites work: Discriminative Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank