Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers /
57
| Main Authors: | , , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer-Verlag,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-540-70889-6 |
| _version_ | 1826383789589266432 |
|---|---|
| author | International Haifa Verification Conference (2nd : 2006 : Haifa, Israel) Bin, Eyal Ziv, Avi Ur, Shmuel |
| author_facet | International Haifa Verification Conference (2nd : 2006 : Haifa, Israel) Bin, Eyal Ziv, Avi Ur, Shmuel |
| author_sort | International Haifa Verification Conference (2nd : 2006 : Haifa, Israel) |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T19:35:25Z |
| format | |
| id | KOHA-OAI-TEST:142239 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T19:35:25Z |
| publishDate | 2007 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1422392020-12-19T17:03:28ZHardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / International Haifa Verification Conference (2nd : 2006 : Haifa, Israel) Bin, Eyal Ziv, Avi Ur, Shmuel Berlin : Springer-Verlag,2007eng575859FTIRComputer systemsComputer softwareComputer programsIntegrated circuitshttp://dx.doi.org/10.1007/978-3-540-70889-6URN:ISBN:9783540708889 (pbk.) |
| spellingShingle | Computer systems Computer software Computer programs Integrated circuits International Haifa Verification Conference (2nd : 2006 : Haifa, Israel) Bin, Eyal Ziv, Avi Ur, Shmuel Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / |
| title | Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / |
| title_full | Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / |
| title_fullStr | Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / |
| title_full_unstemmed | Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / |
| title_short | Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / |
| title_sort | hardware and software verification and testing second international haifa verification conference hvc 2006 haifa israel october 23 26 2006 revised selected papers |
| topic | Computer systems Computer software Computer programs Integrated circuits |
| url | http://dx.doi.org/10.1007/978-3-540-70889-6 |
| work_keys_str_mv | AT internationalhaifaverificationconference2nd2006haifaisrael hardwareandsoftwareverificationandtestingsecondinternationalhaifaverificationconferencehvc2006haifaisraeloctober23262006revisedselectedpapers AT bineyal hardwareandsoftwareverificationandtestingsecondinternationalhaifaverificationconferencehvc2006haifaisraeloctober23262006revisedselectedpapers AT zivavi hardwareandsoftwareverificationandtestingsecondinternationalhaifaverificationconferencehvc2006haifaisraeloctober23262006revisedselectedpapers AT urshmuel hardwareandsoftwareverificationandtestingsecondinternationalhaifaverificationconferencehvc2006haifaisraeloctober23262006revisedselectedpapers |