Further processing options
available via Open Access

1st Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis: Rende, Italy, November 19-20, 2019 : co-located with the 18th International Confere...

Saved in:

Bibliographic Details
Authors and Corporations: Gigante, Nicola (Editor), Workshop on Artificial Intelligence and Formal Verification, Logic, Automata and Synthesis Rende (Author)
Other Authors: Gigante, Nicola [Editor]
Type of Resource: E-Book Conference Proceedings
Language: English
published:
[Aachen, Germany] [RWTH Aachen] 2020-03-03
Series: AI*IA series
CEUR workshop proceedings ; vol-2509
Subjects:
Source: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
License:
Loading…