CiNii Books Author

1

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

Axel Legay, Tiziana Margaria (eds.)

Springer c2017 Lecture notes in computer science 10205-10206 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Pt. 1 , Pt. 2

3

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

Orna Grumberg, Michael Huth (eds.)

Springer c2007 Lecture notes in computer science 4424

Available at 2 libraries

5

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

Nicolas Halbwachs, Lenore D. Zuck (eds.)

Springer c2005 Lecture notes in computer science 3440

Available at 17 libraries

7

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

Hubert Garavel, John Hatcliff (eds.)

Springer c2003 Lecture notes in computer science 2619

Available at 24 libraries

9

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

Tiziana Margaria, Wang Yi (eds.)

Springer c2001 Lecture notes in computer science 2031

Available at 31 libraries

11

Tools and algorithms for the construction and 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

W. Rance Cleaveland (ed.)

Springer-Verlag c1999 Lecture notes in computer science 1579

Available at 38 libraries

13

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Ed Brinksma (ed.)

Springer c1997 Lecture notes in computer science 1217

: pbk

Available at 48 libraries

15

Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

E. Brinksma ... [et al.], (eds.)

Springer c1995 Lecture notes in computer science 1019

Available at 48 libraries

TACAS

Search Results1-15 of 15

Search this author

Related Authors