| 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 |