Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /

Ítems similars

• 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)
• 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 of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
  per: W. Rance Cleaveland
  Publicat: (1999, c1999)
• Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings /
  per: Holger Hermanns, Jens Palsberg
  Publicat: (2006, c2006)