Thesis (M.S.)--American University of Beirut, Dept. of Computer Science, 2007.;"Advisor: Nabil Nassif, Professor, Mathematics--Co-Advisor: Fatima Abu-Salem, Assistant Professor, Computer Science--Member of Committee: Walid Keyrouz, Assistant Professor, Co
Bibliography : leaves 122-123.