APA Citation

(2006). Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven. Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia.

Chicago Style Citation

Penggunaan Algoritma Computational Tree Logic Model Checking Untuk Pemeriksaan Rancangan Sistem Microwave Oven. Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006.

MLA Citation

Penggunaan Algoritma Computational Tree Logic Model Checking Untuk Pemeriksaan Rancangan Sistem Microwave Oven. Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006.

Warning: These citations may not always be 100% accurate.