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}
}