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 TranPACMPL, 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   = {{PACMPL}},
  volume    = {3},
  number    = {{OOPSLA}},
  pages     = {123:1--123:30},
  year      = {2019},
  url       = {https://doi.org/10.1145/3360549},
}
Powered by bibtexbrowser