ANJANY, F.; AL KAAMIL, S. F. .; AINUL YAQIN, M. . Evaluasi Kemampuan ChatGPT dalam Mengonversi Kebutuhan Sistem Berbasis BPMN Menjadi Formula Linear Temporal Logic (LTL). Jurnal Pustaka Data (Pusat Akses Kajian Database, Analisa Teknologi, dan Arsitektur Komputer), [S. l.], v. 5, n. 1, p. 152–160, 2025. DOI: 10.55382/jurnalpustakadata.v5i1.1000. Disponível em: https://pustakagalerimandiri.co.id/jurnalpgm/index.php/pustakadata/article/view/1000. Acesso em: 4 jul. 2025.