Nicola Gigante, Federico Mari, Andrea Orlandini, editors, Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. Volume 2509 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
Conference: aiia2020
@proceedings{aiia-2019overlay,
title = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
year = {2020},
url = {https://nbn-resolving.org/urn:nbn:de:0074-2509-5},
researchr = {https://researchr.org/publication/aiia-2019overlay},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
conference = {aiia},
editor = {Nicola Gigante and Federico Mari and Andrea Orlandini},
volume = {2509},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}