宗派
发表于 2025-3-21 16:33:35
书目名称Model Checking Software影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0635732<br><br> <br><br>书目名称Model Checking Software读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0635732<br><br> <br><br>
averse
发表于 2025-3-21 22:05:15
http://reply.papertrans.cn/64/6358/635732/635732_2.png
scrutiny
发表于 2025-3-22 00:54:54
Alex Groce,Madanlal MusuvathiFast track proceedings
crescendo
发表于 2025-3-22 07:29:26
978-3-642-22305-1Springer-Verlag GmbH Berlin Heidelberg 2011
Anguish
发表于 2025-3-22 09:13:40
http://reply.papertrans.cn/64/6358/635732/635732_5.png
Obliterate
发表于 2025-3-22 14:28:29
0302-9743 IN 2011, held in Snowbird, UT, USA, in July 2011..The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reduction
Reclaim
发表于 2025-3-22 18:57:10
http://reply.papertrans.cn/64/6358/635732/635732_7.png
rectocele
发表于 2025-3-22 22:16:32
http://reply.papertrans.cn/64/6358/635732/635732_8.png
组装
发表于 2025-3-23 02:19:00
Conference proceedings 2011SA, in July 2011..The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA en
性冷淡
发表于 2025-3-23 06:13:25
http://reply.papertrans.cn/64/6358/635732/635732_10.png