進程代數驗證工具PAM

進程代數驗證工具PAM是由中國科學院軟體研究所完成的科技成果，登記於1998年10月31日。

基本介紹

• 中文名：進程代數驗證工具PAM
• 類別：科技成果
• 完成單位：中國科學院軟體研究所
• 登記時間：1998年10月31日

成果信息

成果名稱	進程代數驗證工具PAM
成果完成單位	中國科學院軟體研究所
批准登記單位	北京市科學技術委員會
登記日期	1998-10-31
成果登記年份	1998