Anjany F, Al Kaamil SF, Ainul Yaqin M. Evaluasi Kemampuan ChatGPT dalam Mengonversi Kebutuhan Sistem Berbasis BPMN Menjadi Formula Linear Temporal Logic (LTL). Jurnal Pustaka Data [Internet]. 22 Juni 2025 [dikutip 4 Juli 2025];5(1):152-60. Tersedia pada: https://pustakagalerimandiri.co.id/jurnalpgm/index.php/pustakadata/article/view/1000