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

E. Brinksma; K.G. Larsen

doi:10.1007/3-540-45657-0

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

E. Brinksma (Editor), K.G. Larsen (Editor)

Research output: Book/Report › Book editing › Professional

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	623
ISBN (Print)	3-540-43997-8
DOIs	https://doi.org/10.1007/3-540-45657-0
Publication status	Published - 2002

Publication series

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

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

Access to Document

10.1007/3-540-45657-0

full text

Cite this

@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. (Editor); Larsen, K.G. (Editor).

Berlin : Springer, 2002. 623 p. (Lecture notes in computer science; Vol. 2404), (CAV : computer-aided verification : international conference : proceedings; Vol. 14).

Research output: Book/Report › Book editing › Professional

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 -