✦ LIBER ✦
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
✍ Scribed by Francisco Chicano; Enrique Alba
- Book ID
- 108154543
- Publisher
- Elsevier Science
- Year
- 2008
- Tongue
- English
- Weight
- 383 KB
- Volume
- 106
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.