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

@@ Property / describes a project that uses @@
+MALLBA
@@ Property / describes a project that uses: MALLBA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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.1016/j.ipl.2007.11.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2055373773
@@ Property / OpenAlex ID: W2055373773 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:963372