Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture Notes in Computer Science
6605 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XVI, 394 S. graph. Darst. |
| ISBN: | 9783642198342 3642198341 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037304027 | ||
| 003 | DE-604 | ||
| 005 | 20110523 | ||
| 007 | t| | ||
| 008 | 110328s2011 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 1010119591 |2 DE-101 | |
| 020 | |a 9783642198342 |9 978-3-642-19834-2 | ||
| 020 | |a 3642198341 |9 3-642-19834-1 | ||
| 035 | |a (OCoLC)712593169 | ||
| 035 | |a (DE-599)DNB1010119591 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 005.101 |2 22/ger | |
| 082 | 0 | |a 005.12 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Tools and Algorithms for the Construction and Analysis of Systems |b 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |c Parosh Aziz Abdulla ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XVI, 394 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 6605 : Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Saarbrücken |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Abdulla, Parosh Aziz |e Sonstige |4 oth | |
| 711 | 2 | |a TACAS |n 17 |d 2011 |c Saarbrücken |j Sonstige |0 (DE-588)16105838-3 |4 oth | |
| 711 | 2 | |a ETAPS |n 14 |d 2011 |c Saarbrücken |j Sonstige |0 (DE-588)16105839-5 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Tools and Algorithms for the Construction and Analysis of Systems |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6605 |w (DE-604)BV000000607 |9 6605 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3672079&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=022458628&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022458628 | |
Record in the Search Index
| _version_ | 1820875297375911936 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
RELIABLE SOFTWARE DEVELOPMENT: ANALYSIS-AWARE DESIGN (INVITED TALK) 1
GERARD J. HOLZMANN
TRANSITION INVARIANTS AND TRANSITION PREDICATE ABSTRACTION FOR PROGRAM
TERMINATION (INVITED TALK) 3
ANDREAS PODELSKI AND AUDREY RYBALCHENKO
MEMORY MODELS AND CONSISTENCY
SOUND AND COMPLETE MONITORING OF SEQUENTIAL CONSISTENCY FOR RELAXED
MEMORY MODELS 11
JABOB BURNIM, KOUSHIK SEN, AND CHRISTOS STERGIOU
COMPOSITIONALITY ENTAILS SEQUENTIALIZABILITY 26
PRANAV GARG AND P. MADHUSUDAN
LITMUS: RUNNING TESTS AGAINST HARDWARE 41
JADE ALGLAVE, LUC MARANGET, SUSMIT SARKAR, AND PETER SEWELL
INVARIANTS AND TERMINATION
CANONIZED REWRITING AND GROUND AC COMPLETION MODULO SHOSTAK THEORIES 45
SYLVAIN CONCHON, EVELYNE CONTEJEAN, AND MOHAMED IGUERNELALA
INVARIANT GENERATION IN VAMPIRE 60
KRYSTOF HODER, LAURA KOVACS, AND ANDREI VORONKOV
ENFORCING STRUCTURAL INVARIANTS USING DYNAMIC FRAMES 65
DIEGO GARBERVETSKY, DANIEL GORIN, AND ARIEL NEISEN
LOOP SUMMARIZATION AND TERMINATION ANALYSIS 81
ALIAKSEI TSITOVICH, NATASHA SHARYGINA, CHRISTOPH M. WINTERSTEIGER, AND
DANIEL KROENING
TIMED AND PROBABILISTIC SYSTEMS
OFF-LINE TEST SELECTION WITH TEST PURPOSES FOR NON-DETERMINISTIC TIMED
AUTOMATA 96
NATHALIE BERTRAND, THIERRY JERON, AMELIE STAINER, AND MOEZ KRICHEN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010119591
DIGITALISIERT DURCH
IMAGE 2
XIV TABLE OF CONTENTS
QUANTITATIVE MULTI-OBJECTIVE VERIFICATION FOR PROBABILISTIC SYSTEMS 112
VOJTECH FOREJT, MARTA KWIATKOWSKA, GETHIN NORMAN, DAVID PARKER, AND
HONGYANG QU
EFFICIENT CTMC MODEL CHECKING OF LINEAR REAL-TIME OBJECTIVES 128 BENOIT
BARBOT, TAOLUE CHEN, TINGTING HAN, JOOST-PIETER KATOEN, AND ALEXANDRU
MEREACRE
INTERPOLATIONS AND SAT-SOLVERS
EFFICIENT INTERPOLANT GENERATION IN SATISFIABILITY MODULO LINEAR INTEGER
ARITHMETIC 143
ALBERTO GRIGGIO, THI THIEU HOA LE, AND ROBERTO SEBASTIANI
GENERALIZED CRAIG INTERPOLATION FOR STOCHASTIC BOOLEAN SATISFIABILITY
PROBLEMS 158
TINO TEIGE AND MARTIN PRAEMIE
SPECIFICATION-BASED PROGRAM REPAIR USING SAT 173
DIVYA GOPINATH, MUHAMMAD ZUBAIR MALIK, AND SARFRAZ KHURSHID
OPTIMAL BASE ENCODINGS FOR PSEUDO-BOOLEAN CONSTRAINTS 189
MICHAEL CODISH, YOAV FEKETE, CARSTEN FUHS, AND PETER SCHNEIDER-KAMP
LEARNING
PREDICATE GENERATION FOR LEARNING-BASED QUANTIFIER-FREE LOOP INVARIANT
INFERENCE 205
YUNGBUM JUNG, WONCHAN LEE, BOW- YAW WANG, AND KWANGKUEN YI
NEXT GENERATION LEARNLIB 220
MAIK MERTEN, BERNHARD STEFFEN, FALK HOWAR, AND TIZIANA MARGARIA
MODEL CHECKING
APPLYING CEGAR TO THE PETRI NET STATE EQUATION 224
HARRO WIMMEL AND KARSTEN WOLF
BIASED MODEL CHECKING USING FLOWS 239
MURALIDHAR TALUPUR AND HYOJUNG HAN
S - T A L I R O: A TOOL FOR TEMPORAL LOGIC FALSIFICATION FOR HYBRID
SYSTEMS 254
YASHWANTH ANNAPUREDDY, CHE LIU, GEORGIOS FAINEKOS, AND SRIRAM
SANKARANARAYANAN
IMAGE 3
TABLE OF CONTENTS XV
GAMES AND AUTOMATA
GAVS+: AN OPEN PLATFORM FOR THE RESEARCH OF ALGORITHMIC GAME SOLVING 258
CHIH-HONG CHENG, ALOIS KNOLL, MICHAEL LUTTENBERGER, AND CHRISTIAN BUCKL
BUECHI STORE: AN OPEN REPOSITORY OF BUECHI AUTOMATA 262
YIH-KUEN TSAY, MING-HSIEN TSAI, JINN-SHU CHANG, AND YI-WEN CHANG
QUASY: QUANTITATIVE SYNTHESIS TOOL 267
KRISHNENDU CHATTERJEE, THOMAS A. HENZINGER, BARBARA JOBSTMANN, AND ROHIT
SINGH
UNBEAST: SYMBOLIC BOUNDED SYNTHESIS 272
RUEDIGER EHLERS
VERIFICATION (I)
ABSTRACTIONS AND PATTERN DATABASES: THE QUEST FOR SUCCINCTNESS AND
ACCURACY 276
SEBASTIAN KUPFERSCHMID AND MARTIN WEHRLE
THE ACL2 SEDAN THEOREM PROVING SYSTEM 291
HARSH RAJU CHAMARTHI, PETER DILLINGER, PANAGIOTIS MANOLIOS, AND DAMN
VROON
PROBABILISTIC SYSTEMS
ON PROBABILISTIC PARALLEL PROGRAMS WITH PROCESS CREATION AND
SYNCHRONISATION 296
STEFAN KIEFER AND DOMINIK WOJTCZAK
CONFLUENCE REDUCTION FOR PROBABILISTIC SYSTEMS 311
MARK TIMMER, MARIELLE STOELINGA, AND JACO VAN DE POL
MODEL REPAIR FOR PROBABILISTIC SYSTEMS 326
EZIO BARTOCCI, RADU GROSU, PANAGIOTIS KATSAROS, C.R. RAMAKRISHNAN, AND
SCOTT A. SMOLKA
VERIFICATION (II)
BOOSTING LAZY ABSTRACTION FOR SYSTEMC WITH PARTIAL ORDER REDUCTION 341
ALESSANDRO CIMATTI, IMAN NARASAMDYA, AND MARCO ROVERI
IMAGE 4
XVI TABLE OF CONTENTS
MODELLING AND VERIFICATION OF WEB SERVICES BUSINESS ACTIVITY PROTOCOL
357
ANDERS P. RAVN, JIM SRBA, AND SALEEM VIGHIO
CADP 2010: A TOOLBOX FOR THE CONSTRUCTION AND ANALYSIS OF DISTRIBUTED
PROCESSES 372
HUBERT GARAVEL, FREDERIC LANG, RADU MATEESCU, AND WENDELIN SERWE
GAMETIME: A TOOLKIT FOR TIMING ANALYSIS OF SOFTWARE 388
SANJIT A. SESHIA AND JONATHAN KOTKER
AUTHOR INDEX 393 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV037304027 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 500f |
| ctrlnum | (OCoLC)712593169 (DE-599)DNB1010119591 |
| dewey-full | 005.101 005.12 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.101 005.12 |
| dewey-search | 005.101 005.12 |
| dewey-sort | 15.101 |
| 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">BV037304027</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110523</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110328s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1010119591</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642198342</subfield><subfield code="9">978-3-642-19834-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642198341</subfield><subfield code="9">3-642-19834-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712593169</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1010119591</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-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</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 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and Algorithms for the Construction and Analysis of Systems</subfield><subfield code="b">17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings</subfield><subfield code="c">Parosh Aziz Abdulla ... (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">XVI, 394 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">6605 : Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">Saarbrücken</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abdulla, Parosh Aziz</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">17</subfield><subfield code="d">2011</subfield><subfield code="c">Saarbrücken</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16105838-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">14</subfield><subfield code="d">2011</subfield><subfield code="c">Saarbrücken</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16105839-5</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">Tools and Algorithms for the Construction and Analysis of Systems</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6605</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6605</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=3672079&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=022458628&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-022458628</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content |
| genre_facet | Konferenzschrift 2011 Saarbrücken |
| id | DE-604.BV037304027 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:23Z |
| institution | BVB |
| institution_GND | (DE-588)16105838-3 (DE-588)16105839-5 |
| isbn | 9783642198342 3642198341 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022458628 |
| oclc_num | 712593169 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XVI, 394 S. 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 |
| spelling | Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Parosh Aziz Abdulla ... (eds.) Berlin [u.a.] Springer 2011 XVI, 394 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6605 : Advanced research in computing and software science Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content Softwareentwicklung (DE-588)4116522-6 s Systementwicklung (DE-588)4126945-7 s Verifikation (DE-588)4135577-5 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Programmiersprache (DE-588)4047409-4 s Abdulla, Parosh Aziz Sonstige oth TACAS 17 2011 Saarbrücken Sonstige (DE-588)16105838-3 oth ETAPS 14 2011 Saarbrücken Sonstige (DE-588)16105839-5 oth Erscheint auch als Online-Ausgabe Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science 6605 (DE-604)BV000000607 6605 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3672079&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=022458628&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Lecture Notes in Computer Science Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Verifikation (DE-588)4135577-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4135577-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |
| title_auth | Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |
| title_exact_search | Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |
| title_full | Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Parosh Aziz Abdulla ... (eds.) |
| title_fullStr | Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Parosh Aziz Abdulla ... (eds.) |
| title_full_unstemmed | Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Parosh Aziz Abdulla ... (eds.) |
| title_short | Tools and Algorithms for the Construction and Analysis of Systems |
| title_sort | tools and algorithms for the construction and analysis of systems 17th international conference tacas 2011 held as part of the joint european conference on theory and practice of software etaps 2011 saarbrucken germany march 26 april 3 2011 proceedings |
| title_sub | 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Verifikation (DE-588)4135577-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Theoretische Informatik Softwareentwicklung Systementwicklung Verifikation Programmiersprache Konferenzschrift 2011 Saarbrücken |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3672079&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=022458628&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT abdullaparoshaziz toolsandalgorithmsfortheconstructionandanalysisofsystems17thinternationalconferencetacas2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT tacassaarbrucken toolsandalgorithmsfortheconstructionandanalysisofsystems17thinternationalconferencetacas2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT etapssaarbrucken toolsandalgorithmsfortheconstructionandanalysisofsystems17thinternationalconferencetacas2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings |