Home > Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
Book Informaton
Author
Eyal Bin; Avi Ziv; Shmuel Ur
Series
Lecture Notes in Computer Science
Volume
4383
Year of Publication
2007
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XII, 235
Language
en
ISBN
9783540708889, 9783540708896, 354070888X
ARI Id
1664713334000
This page has been accessed 3 times.
Access Options
Citation Options
Download CitationShowing 1 to 19 of 19 entries
Chapters/Headings | Author(s) | Pages | Info |
1-15 | |||
16-33 | |||
34-49 | |||
50-64 | |||
65-80 | |||
81-91 | |||
92-108 | |||
109-121 | |||
122-123 | |||
124-137 | |||
138-154 | |||
155-165 | |||
166-182 | |||
183-197 | |||
198-203 | |||
204-218 | |||
219-234 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 19 of 19 entries