Foundations of incremental aspect model-checking
- 期刊名称ACM Transactions on Software Engineering and Methodology
- 作者Krishnamurthi, Shriram; Fisler, Kathi
- 卷第16卷
- 期第2期
- 印刷ISSN1049-331X
- 文件大小457.28KB
- 发表时间2007-04-01
- DOI10.1145/1217295.1217296
同作者推荐
Application of Voting Theory to the Float Ownership ProblemSu, Yi; Lucko, Gunnar; Thompson, Richard C. · Journal of Construction Engineering and Management · 2018
[IEEE 2016 Winter Simulation Conference (WSC) - Washington, DC, USA (2016.12.11-2016.12.14)] 2016 Winter Simulation Conference (WSC) - Evaluating performance of Critical Chain Project Management to mitigate delays based on different schedule network complexitiesSu, Yi; Lucko, Gunnar; Thompson, Richard C. · 2016