Titlebook: Model Checking Software; 19th International S Alastair Donaldson,David Parker Conference proceedings 2012 Springer-Verlag Berlin Heidelberg

水平

書目名稱Model Checking Software影響因子(影響力)




書目名稱Model Checking Software影響因子(影響力)學(xué)科排名




書目名稱Model Checking Software網(wǎng)絡(luò)公開度




書目名稱Model Checking Software網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Model Checking Software被引頻次




書目名稱Model Checking Software被引頻次學(xué)科排名




書目名稱Model Checking Software年度引用




書目名稱Model Checking Software年度引用學(xué)科排名




書目名稱Model Checking Software讀者反饋




書目名稱Model Checking Software讀者反饋學(xué)科排名

興奮過度

Predigest

978-3-642-31758-3Springer-Verlag Berlin Heidelberg 2012

陰謀

Model Checking Software978-3-642-31759-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

強制令

吊胃口

Conference proceedings 2012d, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Engaged

預(yù)防注射

壓倒

0302-9743 del checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.978-3-642-31758-3978-3-642-31759-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

疼死我了