Tools and Algorithms for Construction and Analysis of Systems (TACAS)

15. TACAS 2009: York, UK (Part of ETAPS 2009)

Stefan Kowalewski, Anna Philippou (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5505 Springer 2009, ISBN 978-3-642-00767-5
Contents BibTeX

14. TACAS 2008: Budapest, Hungary (Part of ETAPS 2008)

C. R. Ramakrishnan, Jakob Rehof (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4963 Springer 2008, ISBN 978-3-540-78799-0
Contents BibTeX

13. TACAS 2007: Braga, Portugal (Part of ETAPS 2007)

Orna Grumberg, Michael Huth (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4424 Springer 2007, ISBN 978-3-540-71208-4
Contents BibTeX

12. TACAS 2006: Vienna, Austria (Part of ETAPS 2006)

Holger Hermanns, Jens Palsberg (Eds.): 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. Lecture Notes in Computer Science 3920 Springer 2006, ISBN 3-540-33056-9
Contents BibTeX - TACAS 2006 Home Page

11. TACAS 2005: Edinburgh, UK (Part of ETAPS 2005)

Nicolas Halbwachs, Lenore D. Zuck (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3440 Springer 2005, ISBN 3-540-25333-5
Contents BibTeX - TACAS 2005 Home Page

10. TACAS 2004: Barcelona, Spain (Part of ETAPS 2004)

Kurt Jensen, Andreas Podelski (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2988 Springer 2004, ISBN 3-540-21299-X
Contents BibTeX - TACAS 2004 Home Page

9. TACAS 2003: Warsaw, Poland (Part of ETAPS 2003)

Hubert Garavel, John Hatcliff (Eds.): 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. Lecture Notes in Computer Science 2619 Springer 2003, ISBN 3-540-00898-5
Contents BibTeX - ETAPS 2003 Home Page

8. TACAS 2002: Grenoble, France (Part of ETAPS 2002)

Joost-Pieter Katoen, Perdita Stevens (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2280 Springer 2002, ISBN 3-540-43419-4
Contents BibTeX - ETAPS 2002 Home Page

7. TACAS 2001: Genova, Italy (Part of ETAPS 2001)

Tiziana Margaria, Wang Yi (Eds.): 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. Lecture Notes in Computer Science 2031 Springer 2001, ISBN 3-540-41865-2
Contents BibTeX - TACAS 2001 Home Page

6. TACAS 2000: Berlin, Germany (Part of ETAPS 2000)

Susanne Graf, Michael I. Schwartzbach (Eds.): Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1785 Springer 2000, ISBN 3-540-67282-6
Contents BibTeX - TACAS 2000 Home Page

5. TACAS 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)

Rance Cleaveland (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Lecture Notes in Computer Science 1579 Springer 1999, ISBN 3-540-65703-7
Contents BibTeX - TACAS '99 Home Page

4. TACAS 1998: Lisbon, Portugal (Part of ETAPS 1998)

Bernhard Steffen (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1384 Springer 1998, ISBN 3-540-64356-7
Contents BibTeX

Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (Eds.): Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers. Lecture Notes in Computer Science 1385 Springer 1998, ISBN 3-540-64367-2
Contents BibTeX

3. TACAS 1997: Enschede, The Netherlands

Ed Brinksma (Ed.): Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Lecture Notes in Computer Science 1217 Springer 1997, ISBN 3-540-62790-1
Contents BibTeX

2. TACAS 1996: Passau, Germany

Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science 1055 Springer 1996, ISBN 3-540-61042-1
Contents BibTeX

1. TACAS 1995: Aarhus, Denmark

Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019 Springer 1995, ISBN 3-540-60630-0
Contents BibTeX