Subjects: Featured Transition Systems; Modal Transition Systems; Expressiveness
تفاصيل العنوان
Subjects: Science & Technology; Technology; Computer Science