標(biāo)題: Titlebook: Theoretical and Practical Aspects of SPIN Model Checking; 5th and 6th Internat Dennis Dams,Rob Gerth,Mieke Massink Conference proceedings 1 [打印本頁] 作者: trace-mineral 時間: 2025-3-21 18:58
書目名稱Theoretical and Practical Aspects of SPIN Model Checking影響因子(影響力)
書目名稱Theoretical and Practical Aspects of SPIN Model Checking影響因子(影響力)學(xué)科排名
書目名稱Theoretical and Practical Aspects of SPIN Model Checking網(wǎng)絡(luò)公開度
書目名稱Theoretical and Practical Aspects of SPIN Model Checking網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Theoretical and Practical Aspects of SPIN Model Checking被引頻次
書目名稱Theoretical and Practical Aspects of SPIN Model Checking被引頻次學(xué)科排名
書目名稱Theoretical and Practical Aspects of SPIN Model Checking年度引用
書目名稱Theoretical and Practical Aspects of SPIN Model Checking年度引用學(xué)科排名
書目名稱Theoretical and Practical Aspects of SPIN Model Checking讀者反饋
書目名稱Theoretical and Practical Aspects of SPIN Model Checking讀者反饋學(xué)科排名