Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form

✍ Scribed by L. D. Cheremisinova; D. Ya. Novikov

• Book ID: 111496403
• Publisher: Allerton Press Inc
• Year: 2010
• Tongue: English
• Weight: 209 KB
• Volume: 44
• Category: Article
• ISSN: 0146-4116
• DOI: 10.3103/s0146411610010013