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

Títulos similares

• 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 /
  por: Bernhard Steffen
  Publicado: (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 /
  por: Nicolas Halbwachs, Lenore D. Zuck
  Publicado: (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 /
  por: Tiziana Margaria, Wang Yi
  Publicado: (2001, c2001)
• 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 /
  por: Holger Hermanns, Jens Palsberg
  Publicado: (2006, c2006)
• Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
  por: Susanne Graf, Michael Schwartzbach
  Publicado: (2000, c2000)