Further processing options
available via Open Access

3rd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Padua (Italy), September 22, 2021: hosted by the the Twelfth International Symposiu...

Saved in:

Bibliographic Details
Authors and Corporations: Della Monica, Dario (Editor), Pozzato, Gian Luca (Editor), Scala, Enrico (Editor), Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis Padua; Online (Author)
Other Authors: Della Monica, Dario [Editor] • Pozzato, Gian Luca [Editor] • Scala, Enrico [Editor]
Type of Resource: E-Book Conference Proceedings
Language: English
published:
[Aachen, Germany] [RWTH Aachen] 2021-10-17
Series: CEUR workshop proceedings ; vol-2987
Subjects:
Konferenzschrift
Contents/pieces: 19 records
Source: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
License:
Loading…