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/ReportBook editingAcademic

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages289
ISBN (Print)3-540-60630-0
DOIs
Publication statusPublished - 1995

Publication series

NameLecture notes in computer science
Volume1019
ISSN (Print)0302-9743
NameTACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings
Volume1

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). Berlin: Springer. https://doi.org/10.1007/3-540-60630-0
Brinksma, E. (Editor) ; Cleaveland, W.R. (Editor) ; Larsen, K.G. (Editor) ; Margaria, T. (Editor) ; Steffen, B. (Editor). / 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); Margaria, T. (Editor); Steffen, B. (Editor).

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/ReportBook editingAcademic

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). https://doi.org/10.1007/3-540-60630-0