DaftarIsitemplate

Call Number

SEM-273

Title

Formalisasi verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda, Hal. 20-27

Author

Eri Zuliarso; Belawati Widjaja; Widijanto S. Nugroho;

Publisher

SNKK III: Prosiding Ilmu Komputer dan Teknologi Informasi III, 27-28 Agustus 2002, Fak. Teknologi Informasi Universitas Tarumanagara

Subject

Location