Yazar
Criado Pacheco, Natalia. editor.
Format:
Electronic Resources
Alıntı:
multi-agent system models, algorithms, applications, simulations, theoretical studies, and for AT the thematic
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019
View Other Search Results
Yazar
Gallardo, María del Mar. editor.
Format:
Electronic Resources
Alıntı:
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018