BibTeX record conf/gandalf/GeattiGM21

• > Home > conf/gandalf/GeattiGM21

@inproceedings{DBLP:conf/gandalf/GeattiGM21,
  author       = {Luca Geatti and
                  Nicola Gigante and
                  Angelo Montanari},
  editor       = {Dario Della Monica and
                  Gian Luca Pozzato and
                  Enrico Scala},
  title        = {{BLACK:} {A} Fast, Flexible and Reliable {LTL} Satisfiability Checker},
  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        = {7--12},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2987/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:43 +0100},
  biburl       = {https://dblp.org/rec/conf/gandalf/GeattiGM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}