Verification, model checking, and abstract interpretation: 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6538 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XI, 418 S. Ill., graph. Darst. |
| ISBN: | 9783642182747 3642182747 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037209490 | ||
| 003 | DE-604 | ||
| 005 | 20110330 | ||
| 007 | t| | ||
| 008 | 110207s2011 xx ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 1008972703 |2 DE-101 | |
| 020 | |a 9783642182747 |9 978-3-642-18274-7 | ||
| 020 | |a 3642182747 |9 3-642-18274-7 | ||
| 035 | |a (OCoLC)837838530 | ||
| 035 | |a (DE-599)DNB1008972703 | ||
| 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 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation |b 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings |c Ranjit Jhala ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XI, 418 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science; 6538 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |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 Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Austin Tex. |2 gnd-content | |
| 689 | 0 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Jhala, Ranjit |e Sonstige |0 (DE-588)143443917 |4 oth | |
| 711 | 2 | |a VMCAI |n 12 |d 2011 |c Austin, Tex. |j Sonstige |0 (DE-588)16099516-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6538 |w (DE-604)BV000000607 |9 6538 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3631592&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=021123572&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-021123572 | |
Datensatz im Suchindex
| _version_ | 1820875291425243136 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
ARE CELLS ASYNCHRONOUS CIRCUITS? (INVITED TALK) 1
DAVID L. DILL
FORMAL ANALYSIS OF MESSAGE PASSING (INVITED TALK) 2
STEPHEN F. SIEGEL AND GANESH GOPALAKRISHNAN
PRACTICAL VERIFICATION FOR THE WORKING PROGRAMMER WITH CODECONTRACTS AND
ABSTRACT INTERPRETATION (INVITED TALK) 19
FRANCESCO LOGOZZO
QUALITY ENGINEERING: LEVERAGING HETEROGENEOUS INFORMATION (INVITED TALK)
23
BERNHARD STEFFEN AND OLIVER RUETHING
MORE PRECISE YET WIDELY APPLICABLE COST ANALYSIS 38
ELVIRA ALBERT, SAMIR GENAIM, AND ABU NASER MASUD
REFINEMENT-BASED CFG RECONSTRUCTION FROM UNSTRUCTURED PROGRAMS . . 54
SEBASTIEN BARDIN, PHILIPPE HERRMANN, AND FRANCK VEDRINE
SAT-BASED MODEL CHECKING WITHOUT UNROLLING 70
AARON R. BRADLEY
BEYOND QUANTIFIER-FREE INTERPOLATION IN EXTENSIONS OF PRESBURGER
ARITHMETIC 88
ANGELO BRILLOUT, DANIEL KROENING, PHILIPP RUMMER, AND THOMAS WAHL
PROBABILISTIC BUECHI AUTOMATA WITH NON-EXTREMAL ACCEPTANCE THRESHOLDS 103
ROHIT CHADHA, A. PRASAD SISTLA, AND MAHESH VISWANATHAN
SYNTHESIS OF FAULT-TOLERANT EMBEDDED SYSTEMS USING GAMES: FROM THEORY TO
PRACTICE 118
CHIH-HONG CHENG, HARALD RUESS, ALOIS KNOLL, AND CHRISTIAN BXTCKL
PROVING STABILIZATION OF BIOLOGICAL SYSTEMS 134
BYRON COOK, JASMIN FISHER, ELZBIETA KREPSKA, AND NIR PITERMAN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1008972703
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
PRECONDITION INFERENCE FROM INTERMITTENT ASSERTRIONS AND APPLICATION TO
CONTRACTS ON COLLECTIONS 150
PATRICK COUSOT, RADHIA COUSOT, AND FRANCESCO LOGOZZO
STRENGTHENING INDUCTION-BASED RACE CHECKING WITH LIGHTWEIGHT STATIC
ANALYSIS 169
ALASTAIR F. DONALDSON, LEOPOLD HALLER, AND DANIEL KROENING
ACCESS NETS: MODELING ACCESS TO PHYSICAL SPACES 184
ROBERT FROHARDT, BOR-YUH EVAN CHANG, AND SRIRAM SANKARANARAYANAN
JOIN-LOCK-SENSITIVE FORWARD REACHABILITY ANALYSIS FOR CONCURRENT
PROGRAMS WITH DYNAMIC PROCESS CREATION 199
THOMAS MARTIN GAWLITZA, PETER LAMMICH, MARKUS MUELLER-OLM, HELMUT SEIDL,
AND ALEXANDER WENNER
VERIFYING DEADLOCK-FREEDOM OF COMMUNICATION FABRICS 214
ALEXANDER GOTMANOV, SATRAJIT CHATTERJEE, AND MICHAEL KISHINEVSKY
STATIC ANALYSIS OF FINITE PRECISION COMPUTATIONS 232
ERIC GOUBAULT AND SYLVIE PUTOT
AN EVALUATION OF AUTOMATA ALGORITHMS FOR STRING ANALYSIS 248
PIETER HOOIMEIJER AND MARGUS VEANES
AUTOMATA LEARNING WITH AUTOMATED ALPHABET ABSTRACTION REFINEMENT 263
FOLK HOWAR, BERNHARD STEFFEN, AND MAIK MERTEN
TOWARDS COMPLETE REASONING ABOUT AXIOMATIC SPECIFICATIONS 278 SWEN
JACOBS AND VIKTOR KUNCAK
STRING ANALYSIS AS AN ABSTRACT INTERPRETATION 294
SE- WON KIM AND KWANG-MOO CHOE
EXPLAINHOUDINI: MAKING HOUDINI INFERENCE TRANSPARENT 309
SHUVENDU K. LAHIRI AND JULIEN VANEGUE
ABSTRACT PROBABILISTIC AUTOMATA 324
BENOIT DELAHAYE, JOOST-PIETER KATOEN, KIM G. LARSEN, AXEL LEGAY, MIKKEL
L. PEDERSEN, FALAK SHER, AND ANDRZEJ WQSOWSKI
DISTRIBUTED AND PREDICTABLE SOFTWARE MODEL CHECKING 340
NUNO P. LOPES AND ANDREY RYBALCHENKO
ACCESS ANALYSIS-BASED TIGHT LOCALIZATION OF ABSTRACT MEMORIES 356 HAKJOO
OH, LUCAS BRUTSCHY, AND KWANGKEUN YI
IMAGE 3
TABLE OF CONTENTS XI
DECISION PROCEDURES FOR AUTOMATING TERMINATION PROOFS 371
RUZICA PISKAC AND THOMAS WIES
COLLECTIVE ASSERTIONS 387
STEPHEN F. SIEGEL AND TIMOTHY K. ZIRKEL
SETS WITH CARDINALITY CONSTRAINTS IN SATISFIABILITY MODULO THEORIES 403
PHILIPPE SUTER, ROBIN STEIGER, AND VIKTOR KUNCAK
AUTHOR INDEX 419 |
| any_adam_object | 1 |
| author_GND | (DE-588)143443917 |
| building | Verbundindex |
| bvnumber | BV037209490 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)837838530 (DE-599)DNB1008972703 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| 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">BV037209490</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110330</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110207s2011 xx ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1008972703</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642182747</subfield><subfield code="9">978-3-642-18274-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642182747</subfield><subfield code="9">3-642-18274-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)837838530</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1008972703</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="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">Verification, model checking, and abstract interpretation</subfield><subfield code="b">12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings</subfield><subfield code="c">Ranjit Jhala ... (eds.)</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">XI, 418 S.</subfield><subfield code="b">Ill., graph. Darst.</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; 6538</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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">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">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</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">2011</subfield><subfield code="z">Austin Tex.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jhala, Ranjit</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)143443917</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">12</subfield><subfield code="d">2011</subfield><subfield code="c">Austin, Tex.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16099516-4</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">6538</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6538</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=3631592&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=021123572&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-021123572</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Austin Tex. gnd-content |
| genre_facet | Konferenzschrift 2011 Austin Tex. |
| id | DE-604.BV037209490 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:18Z |
| institution | BVB |
| institution_GND | (DE-588)16099516-4 |
| isbn | 9783642182747 3642182747 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021123572 |
| oclc_num | 837838530 |
| 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 | XI, 418 S. Ill., graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science; 6538 |
| spelling | Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings Ranjit Jhala ... (eds.) Berlin [u.a.] Springer 2011 XI, 418 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science; 6538 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Austin Tex. gnd-content Programmanalyse (DE-588)4175841-9 s DE-604 Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Abstrakte Interpretation (DE-588)4621153-6 s Formale Methode (DE-588)4333722-3 s Jhala, Ranjit Sonstige (DE-588)143443917 oth VMCAI 12 2011 Austin, Tex. Sonstige (DE-588)16099516-4 oth Lecture notes in computer science 6538 (DE-604)BV000000607 6538 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3631592&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=021123572&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4621153-6 (DE-588)1071861417 |
| title | Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings |
| title_auth | Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings |
| title_exact_search | Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings |
| title_full | Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings Ranjit Jhala ... (eds.) |
| title_fullStr | Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings Ranjit Jhala ... (eds.) |
| title_full_unstemmed | Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings Ranjit Jhala ... (eds.) |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation 12th international conference vmcai 2011 austin tx usa january 23 25 2011 proceedings |
| title_sub | 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| topic_facet | Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift 2011 Austin Tex. |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3631592&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=021123572&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jhalaranjit verificationmodelcheckingandabstractinterpretation12thinternationalconferencevmcai2011austintxusajanuary23252011proceedings AT vmcaiaustintex verificationmodelcheckingandabstractinterpretation12thinternationalconferencevmcai2011austintxusajanuary23252011proceedings |