Computer Aided Verification: 3rd International Workshop, CAV'91

Research output: Book/ReportBook

Original languageEnglish
Place of PublicationBerlin
PublisherIEEE Computer Society Press
ISBN (Print)3540551794
Publication statusPublished - 1992

Cite this

@book{7079e620003311dab4d5000ea68e967b,
title = "Computer Aided Verification: 3rd International Workshop, CAV'91",
author = "Larsen, {Kim Guldstrand} and Arne Skou",
year = "1992",
language = "English",
isbn = "3540551794",
publisher = "IEEE Computer Society Press",
address = "United States",

}

Computer Aided Verification : 3rd International Workshop, CAV'91. / Larsen, Kim Guldstrand; Skou, Arne.

Berlin : IEEE Computer Society Press, 1992.

Research output: Book/ReportBook

TY - BOOK

T1 - Computer Aided Verification

T2 - 3rd International Workshop, CAV'91

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

PY - 1992

Y1 - 1992

M3 - Book

SN - 3540551794

BT - Computer Aided Verification

PB - IEEE Computer Society Press

CY - Berlin

ER -