Titlebook: Model Checking Software; 11th International S Susanne Graf,Laurent Mounier Conference proceedings 2004 Springer-Verlag Berlin Heidelberg 20

misperceive

書目名稱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é)科排名

insipid

Moderate

MARS

Madrigal

山羊

Conference proceedings 2004s. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development aroundtheSPINmodelcheckerwerethefocusofthisworkshopseries,forseve

吼叫

0302-9743 only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development aroundtheSPINmodelcheckerwerethefocusofthisworkshopseries,forseve978-3-540-21314-7978-3-540-24732-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

冰河期

Conference proceedings 2004 Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), th

印第安人

0302-9743 in Montr′ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS

Ferritin