Lin Huimin | Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences

スポンサーリンク

概要

• Lin Huiminの詳細を見る
• 同名の論文著者
• Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciencesの論文著者

関連著者

• Lin Huimin

  Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences

著作論文

• Symbolic Bisimulations and Proof Systems for The $\pi$-Calculus(Concurrency Theory and Applications '96)

スポンサーリンク