BibTeX record conf/gandalf/PagliariniSS21

download as .bib file

@inproceedings{DBLP:conf/gandalf/PagliariniSS21,
  author       = {Giovanni Pagliarini and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Dario Della Monica and
                  Gian Luca Pozzato and
                  Enrico Scala},
  title        = {Multi-Frame Modal Symbolic Learning},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2987},
  pages        = {37--41},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2987/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:43 +0100},
  biburl       = {https://dblp.org/rec/conf/gandalf/PagliariniSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics