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 KonnovAbstract State Machines, Alloy, B, TLA, VDM, and Z, pages 89-104, 2018.
Bibtex Entry:
@inproceedings{KTK18:abz,
  author    = {Jure Kukovec and
               Thanh{-}Hai Tran and
               Igor Konnov},
  title     = {Extracting Symbolic Transitions from TLA+ Specifications},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z}},
  pages     = {89--104},
  year      = {2018},
  doi       = {10.1007/978-3-319-91271-4_7},
  url = {http://forsyte.at/wp-content/uploads/abz2018_full.pdf},
  keywords  = {"conference"}
}
Powered by bibtexbrowser