Program menurut br-bmc.sf.net
-
BR-BMC Gratis
Implementasi algoritma Revisi Kepercayaan menggunakan pemeriksaan model terbatas untuk ACTL
Implementasi algoritma Revisi Kepercayaan menggunakan pemeriksaan model terbatas untuk ACTL