Kembali ke Rincian Terbitan Model Formal Dan Verifikasi Sistem Layanan Presensi Rfid Dengan Logika Temporal: Studi Kasus Di Universitas Telkom, Indonesia Unduh Unduh PDF