SAT Solver for Online Model Checking

Date
2013-01-05
Authors
منى موسى نظمي قناديلو
MONA Musa Nazmi Qanadilo
Journal Title
Journal ISSN
Volume Title
Publisher
AL-Quds University
جامعة القدس
Abstract
Description
Keywords
هندسة الالكترونيات والحاسوب, Electronics & Computer Engineering
Citation