[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - Silicon compilation
- 作者Madhavan, Rajeev
- 文件大小17.37KB
- 发表时间2005
- DOI10.1145/1120725.1120728
[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - LTSA-WSFoster, Howard; Uchitel, Sebastian; Magee, Jeff; Kramer, Jeff · 2006
[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - Model checking service compositions under resource constraintsFoster, Howard; Emmerich, Wolfgang; Kramer, Jeff; Magee, Jeff; Rosenblum, David; Uchitel, Sebastian · 2007