Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture Notes in Computer Science
6504 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037329541 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 007 | t | ||
| 008 | 110411s2011 |||| 10||| eng d | ||
| 015 | |a 11,N07 |2 dnb | ||
| 016 | 7 | |a 1009990632 |2 DE-101 | |
| 020 | |a 9783642195822 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-19582-2 | ||
| 020 | |a 3642195822 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 3-642-19582-2 | ||
| 024 | 3 | |a 9783642195822 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80035453 |
| 035 | |a (OCoLC)837978335 | ||
| 035 | |a (DE-599)DNB1009990632 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 005.14 |2 22/ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 190f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 100 | 1 | |a Barner, Sharon |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Hardware and Software: Verification and Testing |b 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers |c Sharon Barner |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a X, 196 S. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6504 | |
| 500 | |a Erscheint: 17. Maerz 2011 | ||
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Testen |0 (DE-588)4367264-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Debugging |0 (DE-588)4148954-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Haifa |2 gnd-content | |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 1 | |a Debugging |0 (DE-588)4148954-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 1 | 2 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |D s |
| 689 | 1 | 3 | |a Testen |0 (DE-588)4367264-4 |D s |
| 689 | 1 | 4 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 711 | 2 | |a International Haifa Verification Conference |n 6 |d 2010 |c Haifa |j Sonstige |0 (DE-588)16151658-0 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Hardware and Software: Verification and Testing |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6504 |w (DE-604)BV000000607 |9 6504 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3669462&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022483508&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022483508 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-6504 |
|---|---|
| DE-BY-TUM_katkey | 1773680 |
| DE-BY-TUM_media_number | 040010209317 |
| _version_ | 1816713603272671233 |
| adam_text |
IMAGE 1
TABLE OF CONTENTS
UNDERSTANDING TRANSACTIONAL MEMORY (EXTENDED ABSTRACT) (INVITED TALK) 1
JOAEO LOURENGO
THE SMT-LIB INITIATIVE AND THE RISE OF SMT (HVC 2010 AWARD TALK)
(INVITED TALK) 3
CLARK BARRETT, LEONARDO DE MOURA, SILVIO RANISE, AARON STUMP, AND CESARE
TINELLI
TESTING CONCURRENT SOFTWARE (INVITED TALK) 4
SHMUEL UR
REFLECTIONS ON SPARTAN PROGRAMMING AND THE NO-DEBUGGER PRINCIPLE
(INVITED TALK) 5
JOSEPH (YOSSI) GIL
AN INTRODUCTION TO TEST SPECIFICATION IN FQL (INVITED TALK) 9
ANDREAS HOHER, MICHAEL TAUTSCHNIG, CHRISTIAN SCHALLHART, AND HELMUT
VEITH
VERIFICATION FAILURES: WHAT TO DO WHEN THINGS GO WRONG (INVITED TALK) 23
VALERIA BERTACCO
SPECIAL SESSION ON DEBUGGING (INVITED TALK) 24
YOAV HOLLANDER, ALAN HU, JOAEO LOURENGO, AND RONNY MORAD
DEBUGGING UNREALIZABLE SPECIFICATIONS WITH MODEL-BASED DIAGNOSIS 29
ROBERT KOENIGHOFER, GEORG HOFFEREK, AND RODERICK BLOEM
PARALLELIZING A SYMBOLIC COMPOSITIONAL MODEL-CHECKING ALGORITHM 46 ARIEL
COHEN, KEDAR S. NAMJOSHI, YANIV SA 'AR, LENORE D. ZUCK, AND KATYA I.
KISYOVA
REACHING COVERAGE CLOSURE IN POST-SILICON VALIDATION 60
ALLON ADIR, AMIR NAHIR, AVI ZIV, CHARLES MEISSNER, AND JOHN SCHUMANN
VARIANTS OF LTL QUERY CHECKING 76
HANA CHOCKLER, ARIE GURFINKEL, AND OFER STRICHMAN
SAT-SOLVING BASED ON BOUNDARY POINT ELIMINATION 93
EUGENE GOLDBERG AND PANAGIOTIS MANOLIOS
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1009990632
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
FEEDBACK-BASED COVERAGE DIRECTED TEST GENERATION: AN INDUSTRIAL
EVALUATION 112
CHARALAMBOS IOANNIDES, GEOFF BARRETT, AND KERSTIN EDER
VLOGSL: A STRATEGY LANGUAGE FOR SIMULATION-BASED VERIFICATION OF
HARDWARE 129
MICHAEL KATELMAN AND JOSE MESEGUER
ADVANCES IN SIMULTANEOUS MULTITHREADING TESTCASE GENERATION METHODS 146
JOHN M. LUDDEN, MICHAL RIMON, BRYAN G. HICKERSON, AND ALLON ADIR
REVISITING SYNTHESIS OF GR(1) SPECIFICATIONS 161
URI KLEIN AND AMIR PNUELI
AN EFFICIENT AND FLEXIBLE APPROACH TO RESOLUTION PROOF REDUCTION 182
SIMONE FULVIO ROLLINI, ROBERTO BRUTTOMESSO, AND NATASHA SHARYGINA
AUTHOR INDEX 197 |
| any_adam_object | 1 |
| author | Barner, Sharon |
| author_facet | Barner, Sharon |
| author_role | aut |
| author_sort | Barner, Sharon |
| author_variant | s b sb |
| building | Verbundindex |
| bvnumber | BV037329541 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f DAT 190f DAT 325f |
| ctrlnum | (OCoLC)837978335 (DE-599)DNB1009990632 |
| dewey-full | 005.14 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.14 004.24 |
| dewey-search | 005.14 004.24 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV037329541</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110411s2011 |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1009990632</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642195822</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-19582-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642195822</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">3-642-19582-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642195822</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80035453</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)837978335</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1009990632</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barner, Sharon</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hardware and Software: Verification and Testing</subfield><subfield code="b">6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers</subfield><subfield code="c">Sharon Barner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 196 S.</subfield><subfield code="c">235 mm x 155 mm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6504</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Erscheint: 17. Maerz 2011</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299724-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Debugging</subfield><subfield code="0">(DE-588)4148954-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Haifa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Debugging</subfield><subfield code="0">(DE-588)4148954-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299724-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Haifa Verification Conference</subfield><subfield code="n">6</subfield><subfield code="d">2010</subfield><subfield code="c">Haifa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16151658-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Hardware and Software: Verification and Testing</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6504</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6504</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3669462&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022483508&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022483508</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Haifa gnd-content |
| genre_facet | Konferenzschrift 2010 Haifa |
| id | DE-604.BV037329541 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-25T17:37:10Z |
| institution | BVB |
| institution_GND | (DE-588)16151658-0 |
| isbn | 9783642195822 3642195822 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022483508 |
| oclc_num | 837978335 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | X, 196 S. 235 mm x 155 mm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spellingShingle | Barner, Sharon Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers Lecture Notes in Computer Science Hardwareverifikation (DE-588)4214982-4 gnd Testen (DE-588)4367264-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Programmverifikation (DE-588)4135576-3 gnd Debugging (DE-588)4148954-8 gnd |
| subject_GND | (DE-588)4214982-4 (DE-588)4367264-4 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4299724-0 (DE-588)4135576-3 (DE-588)4148954-8 (DE-588)1071861417 |
| title | Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers |
| title_auth | Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers |
| title_exact_search | Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers |
| title_full | Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers Sharon Barner |
| title_fullStr | Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers Sharon Barner |
| title_full_unstemmed | Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers Sharon Barner |
| title_short | Hardware and Software: Verification and Testing |
| title_sort | hardware and software verification and testing 6th international haifa verification conference hvc 2010 haifa israel october 4 7 2010 revised selected papers |
| title_sub | 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers |
| topic | Hardwareverifikation (DE-588)4214982-4 gnd Testen (DE-588)4367264-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Programmverifikation (DE-588)4135576-3 gnd Debugging (DE-588)4148954-8 gnd |
| topic_facet | Hardwareverifikation Testen Model Checking Softwaretest Spezifikationstechnik Programmverifikation Debugging Konferenzschrift 2010 Haifa |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3669462&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022483508&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT barnersharon hardwareandsoftwareverificationandtesting6thinternationalhaifaverificationconferencehvc2010haifaisraeloctober472010revisedselectedpapers AT internationalhaifaverificationconferencehaifa hardwareandsoftwareverificationandtesting6thinternationalhaifaverificationconferencehvc2010haifaisraeloctober472010revisedselectedpapers |