Please use this identifier to cite or link to this item: 192.168.6.56/handle/123456789/34148
Full metadata record
DC FieldValueLanguage
dc.contributor.editorBernardo, Marco-
dc.contributor.editorCimatti, Alessandro-
dc.date.accessioned2019-01-09T07:22:35Z-
dc.date.available2019-01-09T07:22:35Z-
dc.date.issued2006-
dc.identifier.isbn978-3-540-34304-2-
dc.identifier.urihttp://10.6.20.12:80/handle/123456789/34148-
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.subjectFormal Methods for Hardware Verificationen_US
dc.titleFormal Methods for Hardware Verificationen_US
dc.typeBooken_US
Appears in Collections:Information and Computer Science

Files in This Item:
File Description SizeFormat 
10.pdf.pdf2.95 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.