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; W.R. Cleaveland; K.G. Larsen; T. Margaria; B. Steffen

doi:10.1007/3-540-60630-0

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 (Editor), W.R. Cleaveland (Editor), K.G. Larsen (Editor), T. Margaria (Editor), B. Steffen (Editor)

Research output: Book/Report › Book editing › Academic

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	289
ISBN (Print)	3-540-60630-0
DOIs	https://doi.org/10.1007/3-540-60630-0
Publication status	Published - 1995

Publication series

Name	Lecture notes in computer science
Volume	1019
ISSN (Print)	0302-9743

Name	TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings
Volume	1

Access to Document

10.1007/3-540-60630-0

Cite this

Brinksma, E., Cleaveland, W. R., Larsen, K. G., Margaria, T., & Steffen, B. (Eds.) (1995). Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers. (Lecture notes in computer science; Vol. 1019), (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; Vol. 1). Springer. https://doi.org/10.1007/3-540-60630-0

Brinksma, E. (Editor) ; Cleaveland, W.R. (Editor) ; Larsen, K.G. (Editor) et al. / Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers. Berlin : Springer, 1995. 289 p. (Lecture notes in computer science). (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings).

@book{942f51b80c8b4bb49ff8f9ff0bdb41df,

title = "Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers",

editor = "E. Brinksma and W.R. Cleaveland and K.G. Larsen and T. Margaria and B. Steffen",

year = "1995",

doi = "10.1007/3-540-60630-0",

language = "English",

isbn = "3-540-60630-0",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

Brinksma, E, Cleaveland, WR, Larsen, KG, Margaria, T & Steffen, B (eds) 1995, Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers. Lecture notes in computer science, vol. 1019, TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings, vol. 1, Springer, Berlin. https://doi.org/10.1007/3-540-60630-0

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers. / Brinksma, E. (Editor); Cleaveland, W.R. (Editor); Larsen, K.G. (Editor) et al.
Berlin: Springer, 1995. 289 p. (Lecture notes in computer science; Vol. 1019), (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; Vol. 1).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers

A2 - Brinksma, E.

A2 - Cleaveland, W.R.

A2 - Larsen, K.G.

A2 - Margaria, T.

A2 - Steffen, B.

PY - 1995

Y1 - 1995

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-48509-4

U2 - 10.1007/3-540-60630-0

DO - 10.1007/3-540-60630-0

M3 - Book editing

SN - 3-540-60630-0

T3 - Lecture notes in computer science

BT - Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers

PB - Springer

CY - Berlin

ER -

Brinksma E, (ed.), Cleaveland WR, (ed.), Larsen KG, (ed.), Margaria T, (ed.), Steffen B, (ed.). Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers. Berlin: Springer, 1995. 289 p. (Lecture notes in computer science). (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings). doi: 10.1007/3-540-60630-0

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Publication series

Access to Document

Other files and links

Cite this