Refining Model Checking by Abstract Interpretation
- 作者Patrick Cousot; Radhia Cousot
- 卷第6卷
- 期第1期
- 印刷ISSN0928-8910
- 电子ISSN1573-7535
- 文件大小196.36KB
- 发表时间1999-01
- DOI10.1023/a:1008649901864
- 页码69-95
同作者推荐
The role of personality in successful negotiatingRoderick W. Gilkey,Leonard Greenhalgh · Negotiation Journal · 1986
The effect of relationship orientation on negotiators' cognitions and tacticsLeonard Greenhalgh; Roderick W. Gilkey · 1993
Rebalancing the workforce at IBM: A case study of redeployment and revitalizationLeonard Greenhalgh; Robert B. McKersie; Roderick W. Gilkey · 1986
The Effects of Negotiator Preferences, Situational Power, and Negotiator Personality on Outcomes of Business NegotiationsLeonard Greenhalgh, Scott A. Neslin and Roderick W. Gilkey · The Academy of Management Journal · 1985