Verification of EPCs based on the Finite State Automata and state-space.

التفاصيل البيبلوغرافية
العنوان: Verification of EPCs based on the Finite State Automata and state-space.
المؤلفون: Qinglei Guo, Qing Yao
المصدر: 2008 7th World Congress on Intelligent Control & Automation; 2008, p8333-8338, 6p
قاعدة البيانات: Complementary Index
الوصف
ردمك:9781424421138
DOI:10.1109/WCICA.2008.4594234