SAT Solver for Online Model Checking

Simple item page
dc.contributor.advisorسفيان سمارة
dc.contributor.authorمنى موسى نظمي قناديلوar
dc.contributor.authorMONA Musa Nazmi Qanadiloen
dc.contributor.examinerLabib Arafeh
dc.contributor.examinerAshraf Armoush
dc.date.accessioned2018-10-07T11:37:09Z
dc.date.available2018-10-07T11:37:09Z
dc.date.issued2013-01-05
dc.identifier.other20913395
dc.identifier.urihttps://dspace.alquds.edu/handle/20.500.12213/1550
dc.language.isoen_US
dc.publisherAL-Quds Universityen
dc.publisherجامعة القدسar
dc.subjectهندسة الالكترونيات والحاسوبar
dc.subjectElectronics & Computer Engineeringen
dc.subject.otherرسالة ماجستيرar
dc.subject.otherدراسات علياar
dc.subject.otherHigher Studiesen
dc.subject.otherMaster Thesisen
dc.titleSAT Solver for Online Model Checkingen
dc.typeThesis
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
MT_2013_20913395_8701.pdf
Size:
2.24 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Electronics & Computer Engineering