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 TranProceedings of the ACM on Programming Languages 3, OOPSLA, 2019.
Bibtex Entry:
@inproceedings{kkt2019-oopsla,
    author  = {Igor Konnov and Jure Kukovec and Thanh-Hai Tran},
    title = {TLA+ Model Checking Made Symbolic},
    booktitle   = {Proceedings of the ACM on Programming Languages 3, OOPSLA},
    volume={3},
    year={2019},
    url={https://dl.acm.org/citation.cfm?id=3360549}
}
Powered by bibtexbrowser