Extracting symbolic transitions from TLA+ specifications (bibtex)
by Jure Kukovec, Thanh-Hai Tran, Igor Konnov
Reference:
Extracting symbolic transitions from TLA+ specificationsJure Kukovec, Thanh-Hai Tran, Igor KonnovScience of Computer Programming, volume 187, pages 102361, 2020.
Bibtex Entry:
@article{KUKOVEC2020102361,
title = "Extracting symbolic transitions from TLA+ specifications",
journal = "Science of Computer Programming",
volume = "187",
pages = "102361",
year = "2020",
doi = "https://doi.org/10.1016/j.scico.2019.102361",
author = "Jure Kukovec and Thanh-Hai Tran and Igor Konnov",
url={https://authors.elsevier.com/c/1aAIYc7X4v2ks}
}
Powered by bibtexbrowser