reTLA: Towards an automatic transpiler from TLA+ to VMT. Kukovec, J., Goel, A., Konnov, I., Merz, S., & Sakallah, K. In TLA+ Conference, pages 1-3, St. Louis, MO, USA, September, 2022.
![reTLA: Towards an automatic transpiler from TLA+ to VMT [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 10 downloads
Paper bibtex 10 downloads @inproceedings{kukovec2022retla,
author = {Kukovec, Jure and Goel, Aman and Konnov, Igor and Merz, Stephan and Sakallah, Karem},
title = {{reTLA: Towards an automatic transpiler from TLA+ to VMT}},
booktitle = {TLA+ Conference},
address = {St. Louis, MO, USA},
pages = {1-3},
month = {September},
year = {2022},
url = {https://conf.tlapl.us/2022/sub7.pdf}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 2021
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%Downloads: 10
{"_id":"Gmq3XF3X7BwCxne7N","bibbaseid":"kukovec-goel-konnov-merz-sakallah-retlatowardsanautomatictranspilerfromtlatovmt-2022","author_short":["Kukovec, J.","Goel, A.","Konnov, I.","Merz, S.","Sakallah, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kukovec"],"firstnames":["Jure"],"suffixes":[]},{"propositions":[],"lastnames":["Goel"],"firstnames":["Aman"],"suffixes":[]},{"propositions":[],"lastnames":["Konnov"],"firstnames":["Igor"],"suffixes":[]},{"propositions":[],"lastnames":["Merz"],"firstnames":["Stephan"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem"],"suffixes":[]}],"title":"reTLA: Towards an automatic transpiler from TLA+ to VMT","booktitle":"TLA+ Conference","address":"St. Louis, MO, USA","pages":"1-3","month":"September","year":"2022","url":"https://conf.tlapl.us/2022/sub7.pdf","bibtex":"@inproceedings{kukovec2022retla,\n author = {Kukovec, Jure and Goel, Aman and Konnov, Igor and Merz, Stephan and Sakallah, Karem},\n title = {{reTLA: Towards an automatic transpiler from TLA+ to VMT}},\n booktitle = {TLA+ Conference},\n address = {St. Louis, MO, USA},\n pages = {1-3},\n month = {September},\n year = {2022},\n url = {https://conf.tlapl.us/2022/sub7.pdf}\n}\n\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n% 2021\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n","author_short":["Kukovec, J.","Goel, A.","Konnov, I.","Merz, S.","Sakallah, K."],"key":"kukovec2022retla","id":"kukovec2022retla","bibbaseid":"kukovec-goel-konnov-merz-sakallah-retlatowardsanautomatictranspilerfromtlatovmt-2022","role":"author","urls":{"Paper":"https://conf.tlapl.us/2022/sub7.pdf"},"metadata":{"authorlinks":{}},"downloads":10,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["retla","towards","automatic","transpiler","tla","vmt","kukovec","goel","konnov","merz","sakallah"],"title":"reTLA: Towards an automatic transpiler from TLA+ to VMT","year":2022,"downloads":11}