Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings

Ed Brinksma (Editor), Kim Guldstrand Larsen (Editor)

Research output: Book/Report › Book editing › Academic

761 Downloads (Pure)

Original language	English
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Number of pages	626
ISBN (Electronic)	978-3-540-45657-5
ISBN (Print)	978-3-540-43997-4
DOIs	https://doi.org/10.1007/3-540-45657-0
Publication status	Published - 2002
Event	14th International Conference on Computer Aided Verification, CAV 2002 - Copenhagen, Denmark Duration: 27 Jul 2002 → 31 Jul 2002 Conference number: 14

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2404
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

@book{d0a0dd40d3714d8388270212057a5997,

title = "Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings",

editor = "Ed Brinksma and Larsen, {Kim Guldstrand}",

year = "2002",

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

language = "English",

isbn = "978-3-540-43997-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

note = "14th International Conference on Computer Aided Verification, CAV 2002, CAV ; Conference date: 27-07-2002 Through 31-07-2002",

}

TY - BOOK

T1 - Computer Aided Verification

T2 - 14th International Conference on Computer Aided Verification, CAV 2002

A2 - Brinksma, Ed

A2 - Larsen, Kim Guldstrand

N1 - Conference code: 14

PY - 2002

Y1 - 2002

U2 - 10.1007/3-540-45657-0

DO - 10.1007/3-540-45657-0

M3 - Book editing

SN - 978-3-540-43997-4

T3 - Lecture Notes in Computer Science

BT - Computer Aided Verification

PB - Springer

CY - Berlin, Heidelberg

Y2 - 27 July 2002 through 31 July 2002

ER -