×
دليل المستخدم
العمري، أحمد محمود محمد، و الشرمان، رأفت موسى. (2020). Toward Proving the Correctness Conditions of the Three-Way Handshake Protocol Using Temporal Logic (رسالة ماجستير غير منشورة). جامعة اليرموك، إربد. مسترجع من http://search.mandumah.com/Record/1125371
العمري، أحمد محمود محمد، و رأفت موسى الشرمان. "Toward Proving the Correctness Conditions of the Three-Way Handshake Protocol Using Temporal Logic" رسالة ماجستير. جامعة اليرموك، إربد، 2020. مسترجع من http://search.mandumah.com/Record/1125371