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/ReportBook editingAcademic

121 Downloads (Pure)
Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages626
ISBN (Electronic)978-3-540-45657-5
ISBN (Print)978-3-540-43997-4
DOIs
Publication statusPublished - 2002
Event14th International Conference on Computer Aided Verification, CAV 2002 - Copenhagen, Denmark
Duration: 27 Jul 200231 Jul 2002
Conference number: 14

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume2404
ISSN (Print)0302-9743

Keywords

  • METIS-209584
  • IR-93245

Cite this

Brinksma, Ed (Editor) ; Larsen, Kim Guldstrand (Editor). / Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings. Berlin : Springer, 2002. 626 p. (Lecture Notes in Computer Science).
@book{d0a0dd40d3714d8388270212057a5997,
title = "Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings",
keywords = "METIS-209584, IR-93245",
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",

}

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings. / Brinksma, Ed (Editor); Larsen, Kim Guldstrand (Editor).

Berlin : Springer, 2002. 626 p. (Lecture Notes in Computer Science; Vol. 2404).

Research output: Book/ReportBook editingAcademic

TY - BOOK

T1 - Computer Aided Verification

T2 - 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings

A2 - Brinksma, Ed

A2 - Larsen, Kim Guldstrand

PY - 2002

Y1 - 2002

KW - METIS-209584

KW - IR-93245

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

ER -