BibTeX record conf/tapsoft/MannaBBCCADKLSU95

download as .bib file

@inproceedings{DBLP:conf/tapsoft/MannaBBCCADKLSU95,
  author       = {Zohar Manna and
                  Nikolaj S. Bj{\o}rner and
                  Anca Browne and
                  Edward Y. Chang and
                  Michael Col{\'{o}}n and
                  Luca de Alfaro and
                  Harish Devarajan and
                  Arjun Kapur and
                  Jaejin Lee and
                  Henny Sipma and
                  Tom{\'{a}}s E. Uribe},
  editor       = {Peter D. Mosses and
                  Mogens Nielsen and
                  Michael I. Schwartzbach},
  title        = {STeP: The Stanford Temporal Prover},
  booktitle    = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
                  Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {915},
  pages        = {793--794},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59293-8\_237},
  doi          = {10.1007/3-540-59293-8\_237},
  timestamp    = {Thu, 14 Apr 2022 20:26:16 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/MannaBBCCADKLSU95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.