A Novel Method for Formally Detecting RFID Event Using Petri Nets.

Jinan Sun, Yu Huang, Xin Gao, Shikun Zhang, Lifu Wang, Chong-Yi Yuan

Browse the full SEKE paper archive.