著者典拠情報

著者標目形：
TACAS
属性：
Meeting
場所：
Aarhus, Denmark;Passau, Germany;Enschede, Netherlands;Lisbon;Amsterdam;Berlin;Genova;Barcelona;
日付：
1995;1996;1997;1998;1999;2000;2001;2004;
から見よ参照形：
Workshop on Tools and Algorithms for the Construction and Analysis of Systems
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
International Workshop, TACAS
International Conference, TACAS
注記：
SRC: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)
EDSRC:Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria, Bernhard Steffen, (eds.)(Springer, c1996)
EDSRC: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 / Susanne Graf, Michael Schwartzbach (eds.)(Springer, 2000)
著者典拠ID：
DA09695488


1.

図書
図書
1. 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
Bernhard Steffen, ed.
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1384
所蔵情報: 図書館
2.

図書
図書
2. Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings (pbk. : alk. paper)
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: 図書館
3.

図書
図書
3. 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.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 1019
所蔵情報: 図書館