![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || Improving Parallel State-Space Exploration Using Genetic Algorithms
Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, BrunoVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-030-00359-3_9
File:
PDF, 402 KB
english, 2018