Home > Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Book Informaton
Author
Hana Chockler; Alan J. Hu
Series
Lecture Notes in Computer Science
Volume
5394
Year of Publication
2009
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin
Pages
XII, 215
Language
en
ISBN
9783642017018, 9783642017025, 3642017010
ARI Id
1664719581352
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 24 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-2 | |||
3-3 | |||
4-4 | |||
5-5 | |||
6-6 | |||
7-22 | |||
23-37 | |||
38-52 | |||
53-67 | |||
68-83 | |||
84-98 | |||
99-113 | |||
114-128 | |||
129-148 | |||
149-163 | |||
164-178 | |||
179-193 | |||
194-199 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 24 entries