Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models (Q963372): Difference between revisions

@@ Property / cites work @@
+ON THE BEHAVIOR OF PARALLEL GENETIC ALGORITHMS FOR OPTIMAL PLACEMENT OF ANTENNAE IN TELECOMMUNICATIONS
+Normal rank
@@ Property / cites work @@
+Analyzing synchronous and asynchronous parallel distributed genetic algorithms
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451881
@@ Property / cites work: Q4451881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480099
@@ Property / cites work: Q5480099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530808
@@ Property / cites work: Q4530808 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Q4356435
@@ Property / cites work: Q4356435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738472
@@ Property / cites work: Q4738472 / rank @@
+Normal rank