FETUS
发表于 2025-3-21 16:51:31
书目名称Model Checking Software影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0635722<br><br> <br><br>书目名称Model Checking Software读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0635722<br><br> <br><br>
Phagocytes
发表于 2025-3-21 23:47:39
http://reply.papertrans.cn/64/6358/635722/635722_2.png
健忘症
发表于 2025-3-22 04:15:46
http://reply.papertrans.cn/64/6358/635722/635722_3.png
闯入
发表于 2025-3-22 07:11:11
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/635722.jpg
没花的是打扰
发表于 2025-3-22 11:27:45
https://doi.org/10.1007/3-540-45139-0Concurrent Systems; Distributed Systems; Finite State Systems; Formal Methods; Mathematical Foundations;
GLEAN
发表于 2025-3-22 15:27:23
http://reply.papertrans.cn/64/6358/635722/635722_6.png
牛马之尿
发表于 2025-3-22 20:41:40
http://reply.papertrans.cn/64/6358/635722/635722_7.png
dragon
发表于 2025-3-22 23:29:35
http://reply.papertrans.cn/64/6358/635722/635722_8.png
capsaicin
发表于 2025-3-23 03:00:32
0302-9743 reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.978-3-540-42124-5978-3-540-45139-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
格子架
发表于 2025-3-23 09:25:19
http://reply.papertrans.cn/64/6358/635722/635722_10.png