DaftarIsitemplate

Call Number

T-0685 (Softcopy T-0339) Source Code T-0057

Title

Pengecekan model protokol pembayaran mikro horn-preneel dengan menggunakan NuSMV

Author

Dhian Widya;

Publisher

Depok: Fakultas Ilmu Komputer UI, 2008

Subject

Model Checking.

Location

FASILKOM-UI;