SAT Solver for Online Model Checking

Files
MT_2013_20913395_8701.pdf(2.24 MB)
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
Qanadilo، MONA Musa. (2013). SAT Solver for Online Model Checking [A published thesis, Al-Quds University, Palestine].Al-Quds University digital repository https://arab-scholars.com/c3ce15
URI
https://dspace.alquds.edu/handle/20.500.12213/1550
Collections
Electronics & Computer Engineering هندسة الإلكترونيات والحاسوب