by Jure Kukovec, Thanh-Hai Tran, Igor Konnov
Reference:
Extracting symbolic transitions from TLA\(^\mbox+\) specificationsJure Kukovec, Thanh-Hai Tran, Igor KonnovSci. Comput. Program., volume 187, pages 102361, 2020.
Bibtex Entry:
@article{DBLP:journals/scp/KukovecTK20,
author = {Jure Kukovec and
Thanh{-}Hai Tran and
Igor Konnov},
title = {Extracting symbolic transitions from TLA\({}^{\mbox{+}}\) specifications},
journal = {Sci. Comput. Program.},
volume = {187},
pages = {102361},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102361},
doi = {10.1016/j.scico.2019.102361},
timestamp = {Fri, 27 Mar 2020 08:35:17 +0100},
biburl = {https://dblp.org/rec/journals/scp/KukovecTK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}