Fair stateless model checking
- 期刊名称ACM SIGPLAN Notices
- 作者Musuvathi, Madanlal; Qadeer, Shaz
- 卷第43卷
- 期第6期
- 印刷ISSN0362-1340
- 文件大小829.60KB
- 发表时间2008-05-30
- DOI10.1145/1379022.1375625
同期刊推荐
Attentive documentsBuscher, Georg; Dengel, Andreas; Biedert, Ralf; Elst, Ludger V. · ACM Transactions on Interactive Intelligent Systems · 2012
Role Transitions, Objects, and IdentityIra Silver · Symbolic Interaction · 1996
Post-PragmatismReview by: Norman K. Denzin · Symbolic Interaction · 1996
The Semiotic Selfby Norbert WileyReview by: Ralph H. Turner · Symbolic Interaction · 1996
A Note from the New EditorMichael G. Flaherty · Symbolic Interaction · 1996
Managing the Emotions of OthersPeggy A. Thoits · Symbolic Interaction · 1996
Telling the Truth after Postmodernism1Dorothy E. Smith · Symbolic Interaction · 1996
Gender and Temporality in Interpersonal SystemsMajia Holmer Nadesan · Symbolic Interaction · 1997