Interactive Visualization of Saturation Attempts in Vampire (bibtex)
by Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
Reference:
Interactive Visualization of Saturation Attempts in VampireBernhard Gleiss, Laura Kovács, Lena SchnedlitzIntegrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, eds.), volume 11918 of Lecture Notes in Computer Science, pages 504–513, 2019, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/ifm/GleissKS19,
  author    = {Bernhard Gleiss and
               Laura Kov{\'{a}}cs and
               Lena Schnedlitz},
  editor    = {Wolfgang Ahrendt and
               Silvia Lizeth Tapia Tarifa},
  title     = {Interactive Visualization of Saturation Attempts in Vampire},
  booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
               Bergen, Norway, December 2-6, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11918},
  pages     = {504--513},
  publisher = {Springer},
  year      = {2019},
  url       = {https://arxiv.org/abs/2001.04100},
  timestamp = {Fri, 22 Nov 2019 14:00:20 +0100},
  biburl    = {https://dblp.org/rec/conf/ifm/GleissKS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser