生长变吼叫
发表于 2025-3-21 18:15:52
书目名称Unfoldings影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0941960<br><br> <br><br>书目名称Unfoldings读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0941960<br><br> <br><br>
deadlock
发表于 2025-3-21 23:12:25
Book 2008ng subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. ..In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by mean
采纳
发表于 2025-3-22 00:52:32
978-3-642-09605-1Springer-Verlag Berlin Heidelberg 2008
foppish
发表于 2025-3-22 06:44:41
Unfoldings978-3-540-77426-6Series ISSN 1431-2654 Series E-ISSN 2193-2069
Ballad
发表于 2025-3-22 11:41:27
http://reply.papertrans.cn/95/9420/941960/941960_5.png
杀人
发表于 2025-3-22 16:22:33
http://reply.papertrans.cn/95/9420/941960/941960_6.png
creatine-kinase
发表于 2025-3-22 19:10:48
https://doi.org/10.1007/978-3-540-77426-6Algorithms; Automat; algorithm; distributed systems; logic; model checking; verification
AVANT
发表于 2025-3-23 01:06:24
http://reply.papertrans.cn/95/9420/941960/941960_8.png
宽度
发表于 2025-3-23 03:18:29
http://reply.papertrans.cn/95/9420/941960/941960_9.png
珠宝
发表于 2025-3-23 05:58:28
http://reply.papertrans.cn/95/9420/941960/941960_10.png