Open AccessЭффективная проверяемость полноты систем автоматных функций с полной булевой частью
Author(s) -
Дмитрий Николаевич Бабин,
D. N. Babin
Publication year - 2003
Publication title -
diskretnaâ matematika
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2305-3143
pISSN - 0234-0860
DOI - 10.4213/dm188
Subject(s) - computer science