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 -