Multi-agent Verification of RFID System. - Ali Selamat; Muhammad Tarmizi Lockman (ICCCI (SCI Volume), 2009)