DaftarIsitemplate

Call Number

SK-0795 (Softcopy SK-277) Source code SK-252

Title

Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani

Author

Annisa Ihsani;

Publisher

Depok: Fasilkom UI, 2009

Subject

Location

FASILKOM-UI;