المستودع الرقمي لـقسم الحاسب الآلي

عرض بنوع المنشور

A K-Main Routes Approach to Spatial Network Activity Summarization: A Summary of Results
Dev Oliver, Abdussalam Marghani Milad Bannur (10-2010)
IEEE, , pp. 265-272.

Slotted-Circus
Andrew Butterfield, Adnan Sherif, Jim Woodcock (7-2007)
Lecture Notes in Computer Science - Springer, 4591(1), pp. 75-97.

Constructing Property-Oriented Models for Verification
Jifeng He, Shengchao Qin, Adnan Sherif (2-2006)
Lecture Notes in Computer Science - Springer, 4010(1), pp. 58-100.