Normal view
MARC view
Homing sequence derivation with quantified boolean satisfiability H.-E. Wang, K.-H. Tu, J.-H. R. Jiang, N. Kushik
Material type: ArticleSubject(s): булевы формулы | конечные автоматы In: Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings P. 230-242No physical items for this record
Библиогр.: 19 назв.
There are no comments on this title.
Log in to your account to post a comment.