Computer aided verification: 22nd international conference ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York, NY
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6174 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XVI, 676 S. graph. Darst. 24 cm |
| ISBN: | 9783642142949 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036567335 | ||
| 003 | DE-604 | ||
| 005 | 20100827 | ||
| 007 | t| | ||
| 008 | 100715s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N23 |2 dnb | ||
| 016 | 7 | |a 1003136656 |2 DE-101 | |
| 020 | |a 9783642142949 |c kart. : EUR 84.53 (freier Pr.), ca. sfr 123.00 (freier Pr.) |9 978-3-642-14294-9 | ||
| 024 | 3 | |a 9783642142949 | |
| 028 | 5 | 2 | |a 80017409 |
| 035 | |a (OCoLC)845838190 | ||
| 035 | |a (DE-599)DNB1003136656 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-706 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 004.21015113 |2 22/ger | |
| 082 | 0 | |a 005.12015113 |2 22/ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Computer aided verification |b 22nd international conference ; proceedings |c CAV 2010, Edinburgh, UK, July 15 - 19, 2010. Tayssir Touili ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York, NY |b Springer |c 2010 | |
| 300 | |a XVI, 676 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6174 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Edinburgh |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Touili, Tayssir |4 edt | |
| 711 | 2 | |a CAV |n 22 |d 2010 |c Edinburgh |j Sonstige |0 (DE-588)16073068-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6174 |w (DE-604)BV000000607 |9 6174 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3487319&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=020488521&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020488521 | |
Datensatz im Suchindex
| _version_ | 1820875242730422272 |
|---|---|
| adam_text |
KENNETH L. MCMILLAN TABLE OF CONTENTS INVITED TALKS POLICY MONITORING IN
FIRST-ORDER TEMPORAL LOGIC 1 DAVID BASIN, FELIX KLAEDTKE, AND SAMUEL
MUELLER RETROFITTING LEGACY CODE FOR SECURITY 19 SOMESH JHA QUANTITATIVE
INFORMATION FLOW: FROM THEORY TO PRACTICE? 20 PASQUALE MALACARIA MEMORY
MANAGEMENT IN CONCURRENT ALGORITHMS 23 MAGED M. MICHAEL INVITED
TUTORIALS ABC: AN ACADEMIC INDUSTRIAL-STRENGTH VERIFICATION TOOL 24
ROBERT BRAYTON AND ALAN MISHCHENKO THERE'S PLENTY OF ROOM AT THE BOTTOM:
ANALYZING AND VERIFYING MACHINE CODE 41 THOMAS REPS, JUNGHEE LIM, ADITYA
THAKUR, GOGUL BALAKRISHNAN, AND AKASH LAI CONSTRAINT SOLVING FOR PROGRAM
VERIFICATION: THEORY AND PRACTICE BY EXAMPLE 57 AUDREY RYBALCHENKO
SESSION 1. SOFTWARE MODEL CHECKING INVARIANT SYNTHESIS FOR PROGRAMS
MANIPULATING LISTS WITH UNBOUNDED DATA 72 AHMED BOUAJJANI, CEZARA
DRAGOI, CONSTANTIN ENEA, AHMED REZINE, AND MIHAELA SIGHIREANU
TERMINATION ANALYSIS WITH COMPOSITIONAL TRANSITION INVARIANTS 89 DANIEL
KROENING, NATASHA SHARYGINA, ALIAKSEI TSITOVICH, AND CHRISTOPH M.
WINTERSTEIGER LAZY ANNOTATION FOR PROGRAM TESTING AND VERIFICATION 104
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1003136656 DIGITALISIERT
DURCH XII TABLE OF CONTENTS THE STATIC DRIVER VERIFIER RESEARCH PLATFORM
119 THOMAS BALL, ELLA BOUNIMOVA, VLADIMIR LEVIN, RAHUL KUMAR, AND JAKOB
LICHTENBERG DSOLVE: SAFETY VERIFICATION VIA LIQUID TYPES 123 MING
KAWAGUCHI, PATRICK M. RONDON, AND RANJIT JHALA CONTESSA: CONCURRENCY
TESTING AUGMENTED WITH SYMBOLIC ANALYSIS . . 127 SUDIPTA KUNDU, MALAY
K. GANAI, AND CHAO WANG SESSION 2. MODEL CHECKING AND AUTOMATA
SIMULATION SUBSUMPTION IN RAMSEY-BASED BUECHI AUTOMATA UNIVERSALITY AND
INCLUSION TESTING 132 PAROSH AZIZ ABDULLA, YU-FANG CHEN, LORENZO
CLEMENTE, LUKAS HOLIK, CHIH-DUO HONG, RICHARD MAYR, AND TOMAS VOJNAR
EFFICIENT EMPTINESS CHECK FOR TIMED BUECHI AUTOMATA 148 FREDERIC
HERBRETEAU, B. SRIVATHSAN, AND IGOR WALUKIEWICZ SESSION 3. TOOLS MERIT:
AN INTERPOLATING MODEL-CHECKER 162 NICOLAS CANIART BREACH, A TOOLBOX FOR
VERIFICATION AND PARAMETER SYNTHESIS OF HYBRID SYSTEMS 167 ALEXANDRE
DONZE JTLV: A FRAMEWORK FOR DEVELOPING VERIFICATION ALGORITHMS 171 AMIR
PNUELI, YANIV SA 'AR, AND LENORE D. ZUCK PETRUCHIO: FROM DYNAMIC
NETWORKS TO NETS 175 ROLAND MEYER AND TIM STRAZNY SESSION 4. COUNTER AND
HYBRID SYSTEMS VERIFICATION SYNTHESIS OF QUANTIZED FEEDBACK CONTROL
SOFTWARE FOR DISCRETE TIME LINEA TABLE OF CONTENTS XIII A LOGICAL
PRODUCT APPROACH TO ZONOTOPE INTERSECTION 212 KHALIL GHORBAL, ERIC
GOUBAULT, AND SYLVIE PUTOT FAST ACCELERATION OF ULTIMATELY PERIODIC
RELATIONS 227 MARIUS BOZGA, RADU IOSIF, AND FILIP KONECNY AN
ABSTRACTION-REFINEMENT APPROACH TO VERIFICATION OF ARTIFICIAL NEURAL
NETWORKS 243 LUCA PULINA AND ARMANDO TACCHELLA SESSION 5. MEMORY
CONSISTENCY FENCES IN WEAK MEMORY MODELS 258 JADE ALGLAVE, LUC MARANGET,
SUSMIT SAERKAR, AND PETER SEWELL GENERATING LITMUS TESTS FOR CONTRASTING
MEMORY CONSISTENCY MODELS 273 SELA MADOR-HAIM, RAJEEV ALUR, AND MILO
M.K. MARTIN SESSION 6. VERIFICATION OF HARDWARE AND LOW LEVEL CODE
DIRECTED PROOF GENERATION FOR MACHINE CODE 288 ADITYA THAKUR, JUNGHEE
LIM, AKASH LAI, AMANDA BURTON, EVAN DRISCOLL, MATT ELDER, TYCHO
ANDERSEN, AND THOMAS REPS VERIFYING LOW-LEVEL IMPLEMENTATIONS OF
HIGH-LEVEL DATATYPES 306 CHRISTOPHER L. CONWAY AND CLARK BARRETT
AUTOMATIC GENERATION OF INDUCTIVE INVARIANTS FROM HIGH-LEVEL
MICROARCHITECTURAL MODELS OF COMMUNICATION FABRICS 321 SATRAJIT
CHATTERJEE AND MICHAEL KISHINEVSKY EFFICIENT REACHABILITY ANALYSIS OF
BIICHI PUSHDOWN SYSTEMS FOR HARDWARE/SOFTWARE CO-VERIFICATION 339 JUNCAO
LI, FEI XIE, THOMAS BALL, AND VLADIMIR LEVIN SESSION 7. TOOLS LTSMIN XIV
TABLE OF CONTENTS SESSION 8. SYNTHESIS SYMBOLIC BOUNDED SYNTHESIS 365
RUEDIGER EHLERS MEASURING AND SYNTHESIZING SYSTEMS IN PROBABILISTIC
ENVIRONMENTS . 380 KRISHNENDU CHATTERJEE, THOMAS A. HENZINGER,
BARBARA JOBSTMANN, AND ROHIT SINGH ACHIEVING DISTRIBUTED CONTROL THROUGH
MODEL CHECKING 396 SUSANNE GRAF, DORON PELED, AND SOPHIE QUINTON
ROBUSTNESS IN THE PRESENCE OF LIVENESS 410 RODERICK BLOEM, KRISHNENDU
CHATTERJEE, KARIN GREIMEL, THOMAS A. HENZINGER, AND BARBARA JOBSTMANN
RATSY - A NEW REQUIREMENTS ANALYSIS TOOL WITH SYNTHESIS 425 RODERICK
BLOEM, ALESSANDRO CIMATTI, KARIN GREIMEL, GEORG HOFFEREK, ROBERT
KOENIGHOFER, MARCO ROVERI, VIKTOR SCHUPPAN, AND RICHARD SEEBER COMFUSY: A
TOOL FOR COMPLETE FUNCTIONAL SYNTHESIS 430 VIKTOR KUNCAK, MIKAEL MAYER,
RUZICA PISKAC, AND PHILIPPE SUTER SESSION 9. CONCURRENT PROGRAM
VERIFICATION I UNIVERSAL CAUSALITY GRAPHS: A PRECISE HAPPENS-BEFORE
MODEL FOR DETECTING BUGS IN CONCURRENT PROGRAMS 434 VINEET KAHLON AND
CHAO WANG AUTOMATICALLY PROVING LINEARIZABILITY 450 VIKTOR VAFEIADIS
MODEL CHECKING OF LINEARIZABILITY OF CONCURRENT LIST IMPLEMENTATIONS 465
PAVOL CERNY, ARJUN RADHAKRISHNA, DAMIEN ZUFFEREY, SWARAT CHAUDHURI, AND
RAJEEV ALUR LOCAL VERIFICATION OF GLOBAL INVARIANTS IN CONCURRENT
PROGRAMS 480 ERNIE TABLE OF CONTENTS XV LEARNING COMPONENT INTERFACES
WITH MAY AND MUST ABSTRACTIONS 527 RISHABH SINGH, DIMITRA
GIANNAKOPOULOU, AND CORINA PASAEREANU A DASH OF FAIRNESS FOR
COMPOSITIONAL REASONING 543 ARIEL COHEN, KEDAR S. NAMJOSHI, AND YANIV
SA'AR SPLIT: A COMPOSITIONAL LTL VERIFIER 558 ARIEL COHEN, KEDAR S.
NAMJOSHI, AND YANIV SA 'AR SESSION 11. TOOLS A MODEL CHECKER FOR AADL
562 MARCO BOZZANO, ALESSANDRO CIMATTI, JOOST-PIETER KATOEN, VIET YEN
NGUYEN, THOMAS NOLL, MARCO ROVERI, AND RALF WIMMER PESSOA: A TOOL FOR
EMBEDDED CONTROLLER SYNTHESIS 566 MANUEL MAZO JR., ANNA DAVITIAN, AND
PAULO TABUADA SESSION 12. DECISION PROCEDURES ON ARRAY THEORY OF BOUNDED
ELEMENTS 570 MIN ZHOU, FEI HE, BOW- YAW WANG, AND MING GU QUANTIFIER
ELIMINATION BY LAZY MODEL ENUMERATION 585 DAVID MONNIAUX SESSION 13.
CONCURRENT PROGRAM VERIFICATION II BOUNDED UNDERAPPROXIMATIONS 600
PIERRE GANTY, RUPAK MAJUMDAR, AND BENJAMIN MONMEGE GLOBAL REACHABILITY
IN BOUNDED PHASE MULTI-STACK PUSHDOWN SYSTEMS 615 ANIL SETH
MODEL-CHECKING PARAMETERIZED CONCURRENT PROGRAMS USING LINEAR INTERFACES
629 S. LA TORRE, P. MADHUSUDAN, AND G. PARLATO DYNAMIC CUTOFF DETECTION
IN PARAMETERIZED CONCURRENT PROGRAMS 645 ALEXANDER XVI TABLE OF CONTENTS
GIST: A SOLVER FOR PROBABILISTIC GAMES 665 KRISHNENDU CHATTERJEE, THOMAS
A. HENZINGER, BARBARA JOBSTMANN, AND ARJUN RADHAKRISHNA A NUSMV
EXTENSION FOR GRADED-CTL MODEL CHECKING 670 ALESSANDRO FERRANTE,
MAURIZIO MEMOLI, MARGHERITA NAPOLI, MIMMO PARENTE, AND FRANCESCO
SORRENTINO AUTHOR INDEX 675 |
| any_adam_object | 1 |
| author2 | Touili, Tayssir |
| author2_role | edt |
| author2_variant | t t tt |
| author_facet | Touili, Tayssir |
| building | Verbundindex |
| bvnumber | BV036567335 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)845838190 (DE-599)DNB1003136656 |
| dewey-full | 004.21015113 005.12015113 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004.21015113 005.12015113 004.24 |
| dewey-search | 004.21015113 005.12015113 004.24 |
| dewey-sort | 14.21015113 |
| 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">BV036567335</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100827</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100715s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1003136656</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642142949</subfield><subfield code="c">kart. : EUR 84.53 (freier Pr.), ca. sfr 123.00 (freier Pr.)</subfield><subfield code="9">978-3-642-14294-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642142949</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80017409</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845838190</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1003136656</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-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12015113</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">22nd international conference ; proceedings</subfield><subfield code="c">CAV 2010, Edinburgh, UK, July 15 - 19, 2010. Tayssir Touili ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York, NY</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 676 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6174</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Edinburgh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Touili, Tayssir</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">22</subfield><subfield code="d">2010</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16073068-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6174</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6174</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3487319&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=020488521&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-020488521</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Edinburgh gnd-content |
| genre_facet | Konferenzschrift 2010 Edinburgh |
| id | DE-604.BV036567335 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:30Z |
| institution | BVB |
| institution_GND | (DE-588)16073068-5 |
| isbn | 9783642142949 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020488521 |
| oclc_num | 845838190 |
| open_access_boolean | |
| owner | DE-11 DE-706 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-11 DE-706 DE-91G DE-BY-TUM DE-83 |
| physical | XVI, 676 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer aided verification 22nd international conference ; proceedings CAV 2010, Edinburgh, UK, July 15 - 19, 2010. Tayssir Touili ... (ed.) Berlin ; Heidelberg ; New York, NY Springer 2010 XVI, 676 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6174 Literaturangaben Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Edinburgh gnd-content Verifikation (DE-588)4135577-5 s DE-604 Touili, Tayssir edt CAV 22 2010 Edinburgh Sonstige (DE-588)16073068-5 oth Lecture notes in computer science 6174 (DE-604)BV000000607 6174 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3487319&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020488521&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer aided verification 22nd international conference ; proceedings Lecture notes in computer science Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)1071861417 |
| title | Computer aided verification 22nd international conference ; proceedings |
| title_auth | Computer aided verification 22nd international conference ; proceedings |
| title_exact_search | Computer aided verification 22nd international conference ; proceedings |
| title_full | Computer aided verification 22nd international conference ; proceedings CAV 2010, Edinburgh, UK, July 15 - 19, 2010. Tayssir Touili ... (ed.) |
| title_fullStr | Computer aided verification 22nd international conference ; proceedings CAV 2010, Edinburgh, UK, July 15 - 19, 2010. Tayssir Touili ... (ed.) |
| title_full_unstemmed | Computer aided verification 22nd international conference ; proceedings CAV 2010, Edinburgh, UK, July 15 - 19, 2010. Tayssir Touili ... (ed.) |
| title_short | Computer aided verification |
| title_sort | computer aided verification 22nd international conference proceedings |
| title_sub | 22nd international conference ; proceedings |
| topic | Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Verifikation Konferenzschrift 2010 Edinburgh |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3487319&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=020488521&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT touilitayssir computeraidedverification22ndinternationalconferenceproceedings AT cavedinburgh computeraidedverification22ndinternationalconferenceproceedings |