Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

E. Brinksma

doi:10.1007/BFb0035375

Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

E. Brinksma (Redacteur)

Onderzoeksoutput: Boek/rapport › Boekredactie › Professioneel

Originele taal-2	Engels
Plaats van productie	Berlin
Uitgeverij	Springer
ISBN van geprinte versie	3-540-62790-1
DOI's	https://doi.org/10.1007/BFb0035375
Status	Gepubliceerd - 1997

Publicatie series

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

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

Toegang tot document

10.1007/BFb0035375

Andere bestanden en links

full text

Citeer dit

Brinksma, E. (editor) (1997). Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings. (Lecture notes in computer science; Vol. 1217), (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; Vol. 3). Springer. https://doi.org/10.1007/BFb0035375

Brinksma, E. (Redacteur). / Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings. Berlin : Springer, 1997. (Lecture notes in computer science). (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings).

@book{730b70d14e27473a8278d0ecb261c81d,

title = "Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings",

editor = "E. Brinksma",

year = "1997",

doi = "10.1007/BFb0035375",

language = "English",

isbn = "3-540-62790-1",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

Brinksma, E (reds.) 1997, Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings. Lecture notes in computer science, vol. 1217, TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings, vol. 3, Springer, Berlin. https://doi.org/10.1007/BFb0035375

Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings. / Brinksma, E. (Redacteur).
Berlin: Springer, 1997. (Lecture notes in computer science; Vol. 1217), (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; Vol. 3).

Onderzoeksoutput: Boek/rapport › Boekredactie › Professioneel

TY - BOOK

T1 - Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

A2 - Brinksma, E.

PY - 1997

Y1 - 1997

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

U2 - 10.1007/BFb0035375

DO - 10.1007/BFb0035375

M3 - Book editing

SN - 3-540-62790-1

T3 - Lecture notes in computer science

BT - Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

PB - Springer

CY - Berlin

ER -

Brinksma E, (ed.). Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings. Berlin: Springer, 1997. (Lecture notes in computer science). (TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings). doi: 10.1007/BFb0035375