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