Return to Article Details Model Formal Dan Verifikasi Sistem Layanan Presensi Rfid Dengan Logika Temporal: Studi Kasus Di Universitas Telkom, Indonesia Download Download PDF