Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers
Angelo Sifaleras, Said Salhi, Jack Brimberg
Computer Aided Verification
Free
- Language
- English
- Published
- 2020
- Publisher
- Springer International Publishing
- Pages
- 669
- ISBN
- 9783030532888
Original edition
Computer Aided VerificationOriginally published in 2020 English Springer International Publishing
Other editions (3)
No summary for this edition yet.
Opening the reader…
No reviews yet. Be the first.
Readers also liked
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
Yoichi Motomura, Alastair Butler, Daisuke Bekki
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Free to read
Computer Aided Verification
Hana Chockler
Foundations of Software Science and Computation Structures
FOSSACS Uppsala, ETAPS Uppsala
Computer Aided Verification
Isil Dillig
Computer and Information Sciences
Tadeusz CzachoÌrski