HMBS: A statechart-based model for the formal specification of hyperdocumentsM. A. S. Turinemsra(1998)引用 23|浏览1暂无评分关键词formal specificationAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要