Zhou, Y., & Tripakis, S. (2025). Towards Language Model Guided TLA+ Proof Automation.
Chicago-Zitierstil (17. Ausg.)Zhou, Yuhao, und Stavros Tripakis. Towards Language Model Guided TLA+ Proof Automation. 2025.
MLA-Zitierstil (9. Ausg.)Zhou, Yuhao, und Stavros Tripakis. Towards Language Model Guided TLA+ Proof Automation. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.