[ACM Press the 2003 conference - Kitakyushu, Japan (2003.01.21-2003.01.24)] Proceedings of the 2003 conference on Asia South Pacific design automation - ASPDAC - Logic foundry
- 作者Spivey, Gary; Bhattacharyya, Shuvra S.; Nakajima, Kazuo
- 文件大小101.26KB
- 发表时间2003
- DOI10.1145/1119772.1119846
[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