English
Jordan
RAFAT
Profile
Contact Me
Office Hours
Calendar
Experiences
Dr. RAFAT ALSHORMAN
Online
person
About Me
event
Experiences
list
Committees
list
Membership
list
Funded Projects
list
Journal
list
Conference
list
Chapter
list
Book
list
Thesies
list
Patent
list
Court Case
list
Prizes
list
Other
event
Calendar
event
Contact Me
event
Office Hours
Advance Tables
Home
Thesies
Thesies
Title
Authors
Inventor
Date
Specifying and Verifying 2PL protocol Using Temporal Logics
Nael Kawaldeh
Nael Kawaldeh
2015