Umfang:
VI, 269 S. : graph. Darst.
ISBN:
3-540-56778-X
,
0-387-56778-X
Serie:
Lecture notes in computer science 683
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Hardwareverifikation
;
Hardwareentwurf
;
Verifikation
;
Konferenzschrift
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005407018&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005407018&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA