TY  - JOUR
TI  - A Formal Petri Net Based Model for Antivirus Update
Agent System
JO  - Journal of Advances in Computer Research
VL  - 3
IS  - 2
SP  - 75
EP  - 84
PY  - 2012
DO  - 
ER  -