Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Onderzoeksoutput: Boek/rapport › Boekredactie › Professioneel

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

Naam	CAV : computer-aided verification : international conference : proceedings
Volume	14

Toegang tot document

@book{5de9b3c8ff724101baef61a49d603dda,

title = "Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings",

editor = "E. Brinksma and K.G. Larsen",

year = "2002",

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

language = "English",

isbn = "3-540-43997-8",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings. / Brinksma, E. (Redacteur); Larsen, K.G. (Redacteur).
Berlin: Springer, 2002. 623 blz. (Lecture notes in computer science; Vol. 2404), (CAV : computer-aided verification : international conference : proceedings; Vol. 14).

Onderzoeksoutput: Boek/rapport › Boekredactie › Professioneel

TY - BOOK

T1 - Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

A2 - Brinksma, E.

A2 - Larsen, K.G.

PY - 2002

Y1 - 2002

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

U2 - 10.1007/3-540-45657-0

DO - 10.1007/3-540-45657-0

M3 - Book editing

SN - 3-540-43997-8

T3 - Lecture notes in computer science

BT - Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

PB - Springer

CY - Berlin

ER -