Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /

Ítems similars

• Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings /
  per: Nicolas Halbwachs, Lenore D. Zuck
  Publicat: (2005, c2005)
• 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 /
  per: Tiziana Margaria, Wang Yi
  Publicat: (2001, c2001)
• Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
  per: Joost-Pieter Katoen, Perdita Stevens
  Publicat: (2002, c2002)
• Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
  per: Parosh Aziz Abdulla, K. Rustan M. Leino
  Publicat: (2011, c2011)
• Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
  per: Bernhard Steffen
  Publicat: (1998, c1998)