Holdings: Computer aided verification

Computer aided verification: 22nd international conference ; proceedings

Saved in:

Bibliographic Details
Other Authors:	Touili, Tayssir (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; Heidelberg ; New York, NY Springer 2010
Series:	Lecture notes in computer science 6174
Subjects:	Verifikation Konferenzschrift > 2010 > Edinburgh
Online Access:	Inhaltstext Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	XVI, 676 S. graph. Darst. 24 cm
ISBN:	9783642142949

Staff View

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

Record in the Search Index

_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

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