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

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

A process algebraic framework for specification and validation of real-time systems
Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio (3-2010)
Formal Aspects of Computing - Springer Verlag, 22(2), pp. 153-191.