Tools and algorithms for the construction and analysis of systems 18th international conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings

Ähnliche Einträge

• Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings
  Veröffentlicht: (2010)
• Tools and algorithms for the construction and analysis of systems 16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
  Veröffentlicht: (2010)
• 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
  Veröffentlicht: (2002)
• Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
  Veröffentlicht: (2022)
• Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings
  Veröffentlicht: (2023)