Verification analysis of self-verifying automata via semi-tensor product of matrices
| Autor: | YAN, Yong-yi, CHEN, Zeng-qiang, LIU, Zhong-xin |
|---|---|
| Zdroj: | In The Journal of China Universities of Posts and Telecommunications August 2014 21(4):96-104 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|