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 OOPSLA 2019, 2019.Note: accepted for publication
Bibtex Entry:
@inproceedings{kkt2019-oopsla,
    author  = {Igor Konnov and Jure Kukovec and Thanh-Hai Tran},
    title = {TLA+ Model Checking Made Symbolic},
    booktitle   = { Proc. ACM Program. Lang OOPSLA 2019},
    volume={3},
    year={2019},
    url={https://forsyte.at/wp-content/uploads/kkt-oopsla19.pdf},
    note = {accepted for publication}
}
Powered by bibtexbrowser