Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
Book and Conference Proceedings
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
Book and Conference Proceedings
3rd International Workshop on OpenMP, IWOMP 2007, Bei**g, China, June 3-7, 2007 Proceedings
Book and Conference Proceedings
4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
Book and Conference Proceedings
12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Book and Conference Proceedings
International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Book and Conference Proceedings
7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
Book and Conference Proceedings
12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
Book and Conference Proceedings
5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
Book and Conference Proceedings
ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings
Book and Conference Proceedings
15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV
Book and Conference Proceedings
15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Book and Conference Proceedings
15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II
Book and Conference Proceedings
15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I
Book and Conference Proceedings
16th International Conference, Bei**g, China, July 4-7, 2016, Proceedings, Part V
Book and Conference Proceedings
16th International Conference, Bei**g, China, July 4-7, 2016, Proceedings, Part IV
Book and Conference Proceedings
16th International Conference, Bei**g, China, July 4-7, 2016, Proceedings, Part III
Book and Conference Proceedings
16th International Conference, Bei**g, China, July 4-7, 2016, Proceedings, Part II
Book and Conference Proceedings
16th International Conference, Bei**g, China, July 4-7, 2016, Proceedings, Part I