Deciding properties of message sequence charts in 1st international conference on the foundations ofAnca Muscholl,Doron Peled,Zhongmin Sumag(1998)引用 23|浏览3暂无评分关键词message sequence chartAI 理解论文溯源树样例生成溯源树,研究论文发展脉络