Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions |
| |
Authors: | L. D. Cheremisinova |
| |
Affiliation: | 1. United Institute of Informatics Problems, Belarussian National Academy of Sciences, Minsk, Belarus
|
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|