TY  - GEN
AU  - Wang,Hung-En
AU  - Tu,Kuan-Hua
AU  - Jiang,Jie-Hong R
AU  - Kushik,Natalia G.
TI  - Homing sequence derivation with quantified boolean satisfiability
KW  - булевы формулы
KW  - конечные автоматы
N1  - Библиогр.: 19 назв
ER  -