Holdings: Computer aided verification

Computer aided verification: 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2012
Series:	Lecture notes in computer science 7358
Subjects:	Verifikation Konferenzschrift > 2012 > Berkeley, Calif.
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XVI, 789 S. graph. Darst.
ISBN:	3642314236 9783642314230

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV040285050
003	DE-604
005	20120711
007	t\|
008	120702s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 12,N24 \|2 dnb
016	7		\|a 1023016222 \|2 DE-101
020			\|a 3642314236 \|9 3-642-31423-6
020			\|a 9783642314230 \|c Pb. : ca. EUR 93.09 (DE) (freier Pr.), ca. EUR 95.70 (AT) (freier Pr.), ca. sfr 116.00 (freier Pr.) \|9 978-3-642-31423-0
024	3		\|a 9783642314230
028	5	2	\|a Best.-Nr.: 86122973
035			\|a (OCoLC)802523460
035			\|a (DE-599)DNB1023016222
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-706 \|a DE-83 \|a DE-91G \|a DE-11
082	0		\|a 005.14 \|2 22/ger
082	0		\|a 004.21015113 \|2 22/ger
082	0		\|a 004.24 \|2 22/ger
084			\|a 004 \|2 sdnb
245	1	0	\|a Computer aided verification \|b 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings \|c P. Madhusudan ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a XVI, 789 S. \|b 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 \|v 7358
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Berkeley, Calif. \|2 gnd-content
689	0	0	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0		\|5 DE-604
700	1		\|a Madhusudan, Parthasarathy \|e Sonstige \|0 (DE-588)1023842939 \|4 oth
711	2		\|a CAV \|n 24 \|d 2012 \|c Berkeley, Calif. \|j Sonstige \|0 (DE-588)1023842955 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-31424-7
830		0	\|a Lecture notes in computer science \|v 7358 \|w (DE-604)BV000000607 \|9 7358
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4052394&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=025140343&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025140343

Record in the Search Index

_version_	1820875407463809024
adam_text	IMAGE 1 TABLE O F C O N T E N T S INVITED TALKS SYNTHESIS AND SOME OF ITS CHALLENGES 1 WOLFGANG THOMAS MODEL CHECKING CELL BIOLOGY 2 DAVID L. DILL I N V I T E D TUTORIALS SYNTHESIZING PROGRAMS WITH CONSTRAINT SOLVERS 3 RASTISLAV BODIK AND EMINA TORLAK IC3 AND BEYOND: INCREMENTAL, INDUCTIVE VERIFICATION 4 AARON R. BRADLEY FORMAL VERIFICATION OF GENETIC CIRCUITS 5 CHRIS J. MYERS FROM C T O INFINITY AND BACK: UNBOUNDED AUTO-ACTIVE VERIFICATION WITH VCC 6 MICHAL MOSKAL A U T O M A T A AND SYNTHESIS DETERMINISTIC AUTOMATA FOR THE (F,G)-FRAGMENT OF LTL 7 JAN KFETINSKY AND JAVIER ESPARZA EFFICIENT CONTROLLER SYNTHESIS FOR CONSUMPTION GAMES WITH MULTIPLE RESOURCE TYPES 23 TOMAS BRAZDIL, KRISHNENDU CHATTERJEE, ANTONIN KUCERA, AND PETR NOVOTNY ACTL N LTL SYNTHESIS 39 RIIDIGER EHLERS I N D U C T I V E INFERENCE AND TERMINATION LEARNING BOOLEAN FUNCTIONS INCREMENTALLY 55 YU-FANG CHEN AND BOW-YAW WANG INTERPOLANTS AS CLASSIFIERS 71 RAHUL SHARMA, ADITYA V. NORI, AND ALEX AIKEN HTTP://D-NB.INFO/1023016222 IMAGE 2 X L L TABLE OF CONTENTS TERMINATION ANALYSIS WITH ALGORITHMIC LEARNING 88 WONCHAN LEE, BOW-YAW WANG, AND KWANGKEUN YI AUTOMATED TERMINATION PROOFS FOR JAVA PROGRAMS WITH CYCLIC D A T A . . . . 1 0 5 MARC BROCKSCHMIDT, RICHARD MUSIOL. CARSTEN OTTO, AND JIIRGEN GIESL PROVING TERMINATION OF PROBABILISTIC PROGRAMS USING PATTERNS 123 .JAVIER ESPARZA, ANDREAS GAISER, AND STEFAN KIEFER A B S T R A C T I O N THE GAUGE DOMAIN: SCALABLE ANALYSIS OF LINEAR INEQUALITY INVARIANTS. . . 139 ARNAUD J. VENET DIAGNOSING ABSTRACTION FAILURE FOR SEPARATION LOGIC-BASED ANALYSES . . . 155 JOSH BERDINE, ARLEN COX, SAMIN ISHTIAQ, AND CHRISTOPH M. WINTERSTEIGER A METHOD FOR SYMBOLIC COMPUTATION OF ABSTRACT OPERATIONS 174 ADITYA THAKUR AND THOMAS REPS LEVERAGING INTERPOLANT STRENGTH IN MODEL CHECKING 193 SIMONE FULVIO ROLLINI, ONDREJ SERY, AND NATASHA SHARYGINA CONCURRENCY AND SOFTWARE VERIFICATION DETECTING FAIR NON-TERMINATION IN MULTITHREADED PROGRAMS 210 MOHAMED, FAOUZI ATIG, AHMED BOUAJJANI, MICHAEL EMMI, AND AKASH LAI LOCK REMOVAL FOR CONCURRENT TRACE PROGRAMS 227 VINEET KAHLON AND, CHAO WANG HOW TO PROVE ALGORITHMS LINEARISABLE 243 GERHARD SCHELLHORN, HEIKE WEHRHEIM, AND JOHN DERRICK SYNCHRONISATION- AND REVERSAL-BOUNDED ANALYSIS OF MULTITHREADED PROGRAMS WITH COUNTERS 260 MATTHEW HAGUE AND ANTHONY WIDJAJA L I N SOFTWARE MODEL CHECKING VIA IC3 277 ALESSANDRO CIMATTI AND ALBERTO GRIGGIO BIOLOGY AND PROBABILISTIC S Y S T E M S DELAYED CONTINUOUS-TIME MARKOV CHAINS FOR GENETIC REGULATORY CIRCUITS 294 CALIN C. GUET, ASHUTOSH GUPTA, THOMAS A. HENZINGER, MARIA MATEESCU, AND AH SEZGIN IMAGE 3 TABLE OF CONTENTS XIII ASSUME-GUARANTEE ABSTRACTION REFINEMENT FOR PROBABILISTIC SYSTEMS . . . 310 ANVESH KOMURAVELLI, CORINA S. PASAREANU, AND EDMUND M. CLARKE CROSS-ENTROPY OPTIMISATION OF IMPORTANCE SAMPLING PARAMETERS FOR STATISTICAL MODEL CHECKING 327 CYRILLE JEGOUREL, AXEL LEGAY, AND SEAN SEDWARDS E M B E D D E D AND CONTROL S Y S T E M S TIMED RELATIONAL ABSTRACTIONS FOR SAMPLED D A T A CONTROL SYSTEMS 343 ADITYA ZUTSHI, SRIRAM SANKARANARAYANAN, AND ASHISH TIWARI APPROXIMATELY BISIMILAR SYMBOLIC MODELS FOR DIGITAL CONTROL SYSTEMS 362 RUPAK MAJUMDAR AND MAJID ZARNANI FORMAL VERIFICATION AND VALIDATION OF ERTMS INDUSTRIAL RAILWAY TRAIN SPACING SYSTEM 378 ALESSANDRO CIMATTI, RAFFAELE CORVINO, ARMANDO LAZZARO, IMAN NARASAMDYA, TIZIANA RIZZO, MARCO ROVERI, ANGELA SANSEVIERO, AND ANDREI TCHALTSEV S A T / S M T SOLVING AND SMT-BASED VERIFICATION MINIMUM SATISFYING ASSIGNMENTS FOR SMT 394 ISIL DILLIG, THOMAS DILLIG, KENNETH L. MCMILLAN, AND ALEX AIKEN WHEN BOOLEAN SATISFIABILITY MEETS GAUSSIAN ELIMINATION IN A SIMPLEX WAY 410 CHENG-SHEN HAN AND JIE-HONG ROLAND JIANG A SOLVER FOR REACHABILITY MODULO THEORIES 427 AKASH LAI, SHAZ QADEER, AND SHUVENDU K. LAHIRI T I M E D AND HYBRID S Y S T E M S ON DECIDABILITY OF PREBISIMULATION FOR TIMED AUTOMATA 444 SHIBASHIS GUHA, CHINRNAY NARAYAN, AND S. ARUN-KUMAR EXERCISES IN NONSTANDARD STATIC ANALYSIS OF HYBRID SYSTEMS 462 ICHIRO HASUO AND KOHEI SUENAGA A BOX-BASED DISTANCE BETWEEN REGIONS FOR GUIDING THE REACHABILITY ANALYSIS OF SPACEEX 479 SERGIY BOGOMOLOV, GORAN FREHSE, RADU GROSU, HAMED LADAN, ANDREAS PODELSKI, AND MARTIN WEHRLE IMAGE 4 XIV TABLE OF CONTENTS HARDWARE VERIFICATION AN AXIOMATIC MEMORY MODEL FOR P O W E R MULTIPROCESSORS 495 SELA MADOR-HAIM, LUC MARANGET, SUSMIT SARKAR, KAYVAN MEMARIAN. JADE ALGLAVE, SCOTT OWENS. RAJEEV ALUR. MILO M.K. MARTIN, PETER SEUIELL, AND DEREK WILLIAMS NUTAB-BACKSPACE: REWRITING TO NORMALIZE NON-DETERMINISM IN POST-SILICON DEBUG TRACES 513 FLAVIO M. DE PAULA, ALAN J. HU, AND A M I R NAHIR INCREMENTAL, INDUCTIVE CTL MODEL CHECKING 532 ZYAD HASSAN, AARON R. BRADLEY, AND FABIO SOMENZI SECURITY EFFICIENT RUNTIME POLICY ENFORCEMENT USING COUNTEREXAMPLE-GUIDED ABSTRACTION REFINEMENT 548 MATTHEW FREDRIKSON, RICHARD JOINER, SOMESH JHA, THOMAS REPS, PHILLIP PORRAS, HASSEN SAIDI, AND VINOD YEGNESWARAN AUTOMATIC QUANTIFICATION OF CACHE SIDE-CHANNELS 564 BORIS KOPF, LAURENT MAUBORGNE, AND MARTIN OCHOA SECURE PROGRAMMING VIA VISIBLY PUSHDOWN SAFETY GAMES 581 WILLIAM R. HARRIS, SOMESH JHA, AND THOMAS REPS VERIFICATION AND SYNTHESIS ALTERNATE AND LEARN: FINDING WITNESSES WITHOUT LOOKING ALL OVER 599 NISHANT SINHA, NIMIT SINGHANIA, SATISH CHANDRA, AND MANU SRIDHARAN A COMPLETE METHOD FOR SYMMETRY REDUCTION IN SAFETY VERIFICATION . . . . 616 DUC-HIEP CLIU AND .JOXAN JAFFAR SYNTHESIZING NUMBER TRANSFORMATIONS FROM INPUT-OUTPUT EXAMPLES. . . . 634 RISHABH SINGH AND SUMIT GULWANI TOOL DEMONSTRATION PAPERS ACACIA+, A TOOL FOR LTL SYNTHESIS 652 AARON BOHY, VERONIQUE BRUYERE, EMMANUEL FILIOT, NAIYONG JIN, AND JEAN-FRANGOIS RASKIN MGSYN: AUTOMATIC SYNTHESIS FOR INDUSTRIAL AUTOMATION 658 CHIH-HONG CHENG, MICHAEL GEISINGER, HARALD RUESS, CHRISTIAN BUEKL, AND ALOIS KNOLL IMAGE 5 TABLE OF CONTENTS X V OPENNWA: A NESTED-WORD AUTOMATON LIBRARY 665 EVAN DRISCOLL, ADITYA THAKUR, AND THOMAS REPS UFO: A FRAMEWORK FOR ABSTRACTION- AND INTERPOLATION-BASED SOFTWARE VERIFICATION 672 AWS ALBARGHOUTHI, YI LI, ARIE GURFINKEL, AND MARSHA CHECHIK SAFARI: SMT-BASED ABSTRACTION FOR ARRAYS WITH INTERPOLANTS 679 FRANCESCO ALBERTI, ROBERTO BRUTTOMESSO, SILVIO GHILARDI, SILVIO RANISE, AND NATASHA SHARYGINA BMA: VISUAL TOOL FOR MODELING AND ANALYZING BIOLOGICAL NETWORKS 686 DAVID BENQUE, SAM BOURTON, CAITLIN COCKERTON, BYRON COOK, JASMIN FISHER, SAMIN ISHTIAQ, N I R PITERMAN, ALEX TAYLOR, AND MOSHE Y. VARDI A P E X : AN ANALYZER FOR OPEN PROBABILISTIC PROGRAMS 693 STEFAN KIEFER, ANDRZEJ S. MWRAWSKI, JOEL OUAKNINE, BJORN WACHTER, AND JAMES WORRELL RECENT DEVELOPMENTS IN F D R 699 PHILIP ARMSTRONG, MICHAEL GOLDSMITH, GAVIN LOWE, JOEL OUAKNINE, HRISTINA PALIKAREVA, A . W . ROSCOE, AND JAMES WORRELL A MODEL CHECKER FOR HIERARCHICAL PROBABILISTIC REAL-TIME SYSTEMS 705 SONGZHENG SONG, JUN SUN, YANG LIU, AND JIN SONG DONG SYMDIFF: A LANGUAGE-AGNOSTIC SEMANTIC DIFF TOOL FOR IMPERATIVE PROGRAMS 712 SHUVENDU K. LAHIRI, CHRIS HAWBLITZEL, MING KAWAGUCHI, AND HENRIQUE REBELO CUBICLE: A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS: TOOL PAPER 718 SYLVAIN CONCHON, A M I T GOEL, SAVA KRSTIC, ALAIN MEBSOUT, AND FATIHA ZAI'DI HYBRIDSAL RELATIONAL ABSTRACTER 725 ASHISH TIWARI EULER: A SYSTEM FOR NUMERICAL OPTIMIZATION OF PROGRAMS 732 SWARAT CHAUDHURI AND ARMANDO SOLAR-LEZAMA SPT: STORYBOARD PROGRAMMING TOOL 738 RISHABH SINGH AND ARMANDO SOLAR-LEZAMA CSOLVE: VERIFYING C WITH LIQUID TYPES 744 PATRICK RONDON, ALEXANDER BAKST, MING KAWAGUCHI, AND RANJIT JHALA IMAGE 6 XVI TABLE OF CONTENTS PASSERT: A TOOL FOR DEBUGGING PARALLEL PROGRAMS 751 DANIEL SCHWARTZ-NARBONNE, FENG LIU, DAVID AUGUST, AND SHARAD MALIK TRACER: A SYMBOLIC EXECUTION TOOL FOR VERIFICATION 758 JOXAN JAFFAR, VIJAYARAGHAVAN MURALI, JORGE A. NAVAS, AND ANDREW E. SANTOSA JOOGIE: INFEASIBLE CODE DETECTION FOR JAVA 767 STEPHAN ARLT AND MARTIN SCHAF H E C T O R : AN EQUIVALENCE CHECKER FOR A HIGHER-ORDER FRAGMENT OF ML 774 DAVID HOPKINS, ANDRZEJ S. MURAWSKI, AND C.-H. LUKE ONG RESOURCE AWARE ML 781 JAN HOFFMANN, KLAUS AEHLIG, AND MARTIN HOFMANN A U T H O R I N D E X 787
any_adam_object	1
author_GND	(DE-588)1023842939
building	Verbundindex
bvnumber	BV040285050
classification_rvk	SS 4800
ctrlnum	(OCoLC)802523460 (DE-599)DNB1023016222
dewey-full	005.14 004.21015113 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.21015113 004.24
dewey-search	005.14 004.21015113 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">BV040285050</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120711</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">120702s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1023016222</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642314236</subfield><subfield code="9">3-642-31423-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642314230</subfield><subfield code="c">Pb. : ca. EUR 93.09 (DE) (freier Pr.), ca. EUR 95.70 (AT) (freier Pr.), ca. sfr 116.00 (freier Pr.)</subfield><subfield code="9">978-3-642-31423-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642314230</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86122973</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)802523460</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1023016222</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</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.21015113</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="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings</subfield><subfield code="c">P. Madhusudan ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 789 S.</subfield><subfield code="b">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</subfield><subfield code="v">7358</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">2012</subfield><subfield code="z">Berkeley, Calif.</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">Madhusudan, Parthasarathy</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1023842939</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">24</subfield><subfield code="d">2012</subfield><subfield code="c">Berkeley, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1023842955</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="z">978-3-642-31424-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7358</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7358</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=4052394&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=025140343&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-025140343</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Berkeley, Calif. gnd-content
genre_facet	Konferenzschrift 2012 Berkeley, Calif.
id	DE-604.BV040285050
illustrated	Illustrated
indexdate	2025-01-10T15:15:08Z
institution	BVB
institution_GND	(DE-588)1023842955
isbn	3642314236 9783642314230
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025140343
oclc_num	802523460
open_access_boolean
owner	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
physical	XVI, 789 S. graph. Darst.
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings P. Madhusudan ... (eds.) Berlin [u.a.] Springer 2012 XVI, 789 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7358 Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Berkeley, Calif. gnd-content Verifikation (DE-588)4135577-5 s DE-604 Madhusudan, Parthasarathy Sonstige (DE-588)1023842939 oth CAV 24 2012 Berkeley, Calif. Sonstige (DE-588)1023842955 oth Erscheint auch als Online-Ausgabe 978-3-642-31424-7 Lecture notes in computer science 7358 (DE-604)BV000000607 7358 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4052394&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=025140343&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; 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 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings
title_auth	Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings
title_exact_search	Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings
title_full	Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings P. Madhusudan ... (eds.)
title_fullStr	Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings P. Madhusudan ... (eds.)
title_full_unstemmed	Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings P. Madhusudan ... (eds.)
title_short	Computer aided verification
title_sort	computer aided verification 24th international conference cav 2012 berkeley ca usa july 7 13 2012 proceedings
title_sub	24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings
topic	Verifikation (DE-588)4135577-5 gnd
topic_facet	Verifikation Konferenzschrift 2012 Berkeley, Calif.
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4052394&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=025140343&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT madhusudanparthasarathy computeraidedverification24thinternationalconferencecav2012berkeleycausajuly7132012proceedings AT cavberkeleycalif computeraidedverification24thinternationalconferencecav2012berkeleycausajuly7132012proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items