Specifying and executing interactive multimedia presentations using the formal approach
Chung-Ming Huang, Chih Hao Lin, Chian Wang
研究成果: Article › 同行評審
1
引文
斯高帕斯（Scopus）