201905/03T6 Báo cáo Transition Calculus: An Illustration of Modeling and Derivation on POMPs and POMMs 陳俊英 10:00-11:30 Tòa nhà Hồng Kinh M107 20190503_ 陳俊英演講
