External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021

Dario Della Monica, Gian Luca Pozzato, Enrico Scala, editors, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. Volume 2987 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Conference: GandALF2021

Editors

Dario Della Monica

This author has not been identified. It may be one of the following persons: Look up 'Dario Della Monica' in Google

Gian Luca Pozzato

This author has not been identified. Look up 'Gian Luca Pozzato' in Google

Enrico Scala

This author has not been identified. Look up 'Enrico Scala' in Google
runs on