19. TACAS 2013: Rome, Italy (Part of ETAPS 2013)

• 
  Nir Piterman, Scott A. Smolka (Eds.): Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7795 ISBN 978-3-642-36741-0 [ contents ]

18. TACAS 2012: Tallinn, Estonia (Part of ETAPS 2012)

• 
  Cormac Flanagan, Barbara König (Eds.): 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. Springer 2012 Lecture Notes in Computer Science 7214 ISBN 978-3-642-28755-8 [ contents ]

17. TACAS 2011: Saarbrücken, Germany (Part of ETAPS 2011)

• 
  Parosh Aziz Abdulla, K. Rustan M. Leino (Eds.): Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6605 ISBN 978-3-642-19834-2 [ contents ]

16. TACAS 2010: Paphos, Cyprus (Part of ETAPS 2010)

• 
  Javier Esparza, Rupak Majumdar (Eds.): 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. Springer 2010 Lecture Notes in Computer Science 6015 ISBN 978-3-642-12001-5 [ contents ]

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. Springer 2009 Lecture Notes in Computer Science 5505 ISBN 978-3-642-00767-5 [ contents ]

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. Springer 2008 Lecture Notes in Computer Science 4963 ISBN 978-3-540-78799-0 [ contents ]

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. Springer 2007 Lecture Notes in Computer Science 4424 ISBN 978-3-540-71208-4 [ contents ]

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. Springer 2006 Lecture Notes in Computer Science 3920 ISBN 3-540-33056-9 [ contents ]

- 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. Springer 2005 Lecture Notes in Computer Science 3440 ISBN 3-540-25333-5 [ contents ]

- 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. Springer 2004 Lecture Notes in Computer Science 2988 ISBN 3-540-21299-X [ contents ]

- 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. Springer 2003 Lecture Notes in Computer Science 2619 ISBN 3-540-00898-5 [ contents ]

- 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. Springer 2002 Lecture Notes in Computer Science 2280 ISBN 3-540-43419-4 [ contents ]

- 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. Springer 2001 Lecture Notes in Computer Science 2031 ISBN 3-540-41865-2 [ contents ]

- 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. Springer 2000 Lecture Notes in Computer Science 1785 ISBN 3-540-67282-6 [ contents ]

- 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. Springer 1999 Lecture Notes in Computer Science 1579 ISBN 3-540-65703-7 [ contents ]

- 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. Springer 1998 Lecture Notes in Computer Science 1384 ISBN 3-540-64356-7 [ contents ]
• 
  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. Springer 1998 Lecture Notes in Computer Science 1385 ISBN 3-540-64367-2 [ contents ]

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. Springer 1997 Lecture Notes in Computer Science 1217 ISBN 3-540-62790-1 [ contents ]

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. Springer 1996 Lecture Notes in Computer Science 1055 ISBN 3-540-61042-1 [ contents ]

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. Springer 1995 Lecture Notes in Computer Science 1019 ISBN 3-540-60630-0 [ contents ]