Quan, Tho, Ho Chi Minh City University of Technology, Viet Nam

• Vol. 5, No. 3-4 (Jul-Dec, 2015) - Regular articles
  State Space Reduction on Wireless Sensor Network Verification Using Component-Based Petri Net Approach
  Abstract  PDF