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

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

Originele taal-2	Engels
Plaats van productie	Berlin
Uitgeverij	Springer
Aantal pagina's	289
ISBN van geprinte versie	3-540-60630-0
DOI's	https://doi.org/10.1007/3-540-60630-0
Status	Gepubliceerd - 1995

Publicatie series

Naam	Lecture notes in computer science
Volume	1019
ISSN van geprinte versie	0302-9743

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

Toegang tot document

10.1007/3-540-60630-0

Andere bestanden en links

full text

Citeer dit

Brinksma, E., Cleaveland, W. R., Larsen, K. G., Margaria, T., & Steffen, B. (editors) (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. (Redacteur) ; Cleaveland, W.R. (Redacteur) ; Larsen, K.G. (Redacteur) 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 blz. (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 (redactie) 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. (Redacteur); Cleaveland, W.R. (Redacteur); Larsen, K.G. (Redacteur) et al.
Berlin: Springer, 1995. 289 blz. (Lecture notes in computer science; Vol. 1019), (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; Vol. 1).

Onderzoeksoutput: Boek/rapport › Boekredactie › 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 blz. (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