Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
Includes bibliographical references and index.
| Main Authors: | , , |
|---|---|
| Format: | |
| Published: |
New York : Springer,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-540-73368-3 |
| _version_ | 1826394984037744640 |
|---|---|
| author | CAV Conference (19th : 2007 : Berlin, Germany) Damm, Werner Hermanns, Holger |
| author_facet | CAV Conference (19th : 2007 : Berlin, Germany) Damm, Werner Hermanns, Holger |
| author_sort | CAV Conference (19th : 2007 : Berlin, Germany) |
| collection | OCEAN |
| description | Includes bibliographical references and index. |
| first_indexed | 2024-03-04T22:15:41Z |
| format | |
| id | KOHA-OAI-TEST:195429 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T22:15:41Z |
| publishDate | 2007 |
| publisher | New York : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1954292020-12-19T17:05:32ZComputer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / CAV Conference (19th : 2007 : Berlin, Germany) Damm, Werner Hermanns, Holger New York : Springer, 2007Includes bibliographical references and index.PSZJBLComputer softwareIntegrated circuitshttp://dx.doi.org/10.1007/978-3-540-73368-3URN:ISBN:9783540733676 (pbk.) |
| spellingShingle | Computer software Integrated circuits CAV Conference (19th : 2007 : Berlin, Germany) Damm, Werner Hermanns, Holger Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / |
| title | Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / |
| title_full | Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / |
| title_fullStr | Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / |
| title_full_unstemmed | Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / |
| title_short | Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / |
| title_sort | computer aided verification 19th international conference cav 2007 berlin germany july 3 7 2007 proceedings |
| topic | Computer software Integrated circuits |
| url | http://dx.doi.org/10.1007/978-3-540-73368-3 |
| work_keys_str_mv | AT cavconference19th2007berlingermany computeraidedverification19thinternationalconferencecav2007berlingermanyjuly372007proceedings AT dammwerner computeraidedverification19thinternationalconferencecav2007berlingermanyjuly372007proceedings AT hermannsholger computeraidedverification19thinternationalconferencecav2007berlingermanyjuly372007proceedings |