آزمون گر ربكا براساس منطق محاسبات درختي CTL
/ مهدي سرمدي
آزمون گر ربكا براساس منطق محاسبات درختي CTL
نویسنده
/ مهدي سرمدينسخه 1
فهرست
شناسنامه
سرشناسه
سرمدي، مهدي، نویسندهعنوان و نام پدیدآور
آزمون گر ربكا براساس منطق محاسبات درختي CTL / / مهدي سرمديزبان
فارسی