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 KonnovABZ 2018, 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018.Note: (to appear)
Bibtex Entry:
@inproceedings{KTK18:abz,
  author = {Jure Kukovec and Thanh Hai Tran and Igor Konnov},
title = {Extracting Symbolic Transitions from TLA+ Specifications},
 booktitle = {ABZ 2018, 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z},
 year = {2018},
 note = {(to appear)},
 url = {http://forsyte.at/wp-content/uploads/abz2018_full.pdf}
}
Powered by bibtexbrowser