The Journal of China Universities of Posts and Telecommunications
Verification analysis of self-verifying automata via semi-tensor product of matrices
闫永义 陈增强 刘忠信
Acta Metallurgica Sinica(English letters) . 2014, (4): 96 -104 .  DOI: 10.1016/S1005-8885(14)60322-8

Copyright © 2020 The Journal of China Universities of Posts and Telecommunications
　 Adress: P.O. Box 231,Beijing University of Posts and Telecommunications,10 Xi Tucheng Road,Beijing 100876,P.R.China　Post Code: 100081
Tel：86-010-62282493　Fax： 86-010-62283461　E-mail: jchupt@bupt.edu.cn
Support by: Beijing Magtech Co.Ltd