TLA+ model checking made symbolic (bibtex)
by Igor Konnov, Jure Kukovec, Thanh-Hai Tran
Reference:
TLA+ model checking made symbolicIgor Konnov, Jure Kukovec, Thanh-Hai TranProc. ACM Program. Lang., volume 3, number OOPSLA, pages 123:1–123:30, 2019.
Bibtex Entry:
@article{DBLP:journals/pacmpl/0001KT19,
  author    = {Igor Konnov and
               Jure Kukovec and
               Thanh{-}Hai Tran},
  title     = {{TLA+} model checking made symbolic},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{OOPSLA}},
  pages     = {123:1--123:30},
  year      = {2019},
  url       = {https://doi.org/10.1145/3360549},
  doi       = {10.1145/3360549},
  timestamp = {Sat, 05 Sep 2020 17:42:59 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/0001KT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser