Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002

Research output: Book/Report › Book › Research

Original language	English

Series	Lecture Notes in Computer Science
Number	2404
ISSN	0302-9743

AUB Link

@book{a1441790003211dab4d5000ea68e967b,

title = "Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002",

author = "E. Brinksma and Larsen, {Kim Guldstrand}",

year = "2002",

language = "English",

isbn = "3540439978",

series = "Lecture Notes in Computer Science",

publisher = "IEEE Computer Society Press",

number = "2404",

address = "United States",

}