Liveness with invisible ranking
- 作者Yi Fang; Nir Piterman; Amir Pnueli; Lenore Zuck
- 卷第8卷
- 期第3期
- 印刷ISSN1433-2779
- 电子ISSN1433-2787
- 文件大小2540.57KB
- 发表时间2006-06
- DOI10.1007/s10009-005-0193-x
- 页码261-279
同标题推荐
Introductory paper: scalability aspects of validationTiziana Margaria; Wang Yi · 2003
Introductory paperS. Purushothaman Iyer; David Hislop; Paul L. Jones; Jaime Lee; Frederick Pearce; Stephen Van Albert · 2004
Introductory paperJaco van de Pol · 2004
Introductory paperMatthew Dwyer; Stefan Leue · 2004
Introductory paperLuboš Brim; Orna Grumberg · 2005
Introductory paperThomas Arts; Jaco van de Pol · 2005
Introductory paperTiziana Margaria · 2005
同作者推荐