Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Homing sequence derivation with quantified boolean satisfiability H.-E. Wang, K.-H. Tu, J.-H. R. Jiang, N. Kushik

Contributor(s): Wang, Hung-En | Tu, Kuan-Hua | Jiang, Jie-Hong R | Kushik, Natalia GMaterial type: ArticleArticleSubject(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-242
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Библиогр.: 19 назв.

There are no comments on this title.

to post a comment.