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
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture Notes in Computer Science
6605 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 Online-Ressource (XVI, 394 S.) |
| ISBN: | 9783642198359 |
| DOI: | 10.1007/978-3-642-19835-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037350443 | ||
| 003 | DE-604 | ||
| 005 | 20110504 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 110420s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642198359 |c Online |9 978-3-642-19835-9 | ||
| 024 | 7 | |a 10.1007/978-3-642-19835-9 |2 doi | |
| 035 | |a (OCoLC)712593169 | ||
| 035 | |a (DE-599)BVBBV037350443 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-19 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-20 |a DE-703 |a DE-355 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-634 | ||
| 082 | 0 | |a 005.101 |2 22//ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 310f |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 1 Online-Ressource (XVI, 394 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6605 | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |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 Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 653 | |a Paperback / softback | ||
| 653 | |a Research | ||
| 653 | |a Petri net | ||
| 653 | |a SAT solvers | ||
| 653 | |a SMT solvers | ||
| 653 | |a abstraction techniques | ||
| 653 | |a concurrent programs | ||
| 653 | |a dependability | ||
| 653 | |a finite-state systems | ||
| 653 | |a model-checking | ||
| 653 | |a real-time systems | ||
| 653 | |a safety | ||
| 653 | |a software modeling | ||
| 653 | |a static analysis | ||
| 653 | |a temporal logic | ||
| 653 | |a theorem-proving | ||
| 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 Druck-Ausgabe, Paperback |z 978-3-642-19834-2 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6605 |w (DE-604)BV014880109 |9 6605 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-19835-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC |a ZDB-2-SCS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022503933 | ||
Datensatz im Suchindex
| _version_ | 1804145639960870912 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV037350443 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f DAT 000 DAT 310f |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)712593169 (DE-599)BVBBV037350443 |
| dewey-full | 005.101 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.101 |
| dewey-search | 005.101 |
| dewey-sort | 15.101 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-19835-9 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03121nmm a2200781 cb4500</leader><controlfield tag="001">BV037350443</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110504 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">110420s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642198359</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-19835-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-19835-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712593169</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV037350443</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-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</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">1 Online-Ressource (XVI, 394 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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</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="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">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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Petri net</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">SAT solvers</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">SMT solvers</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">abstraction techniques</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">concurrent programs</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">dependability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">finite-state systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model-checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">real-time systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">safety</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software modeling</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">static analysis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">temporal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">theorem-proving</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">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-19834-2</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)BV014880109</subfield><subfield code="9">6605</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-19835-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022503933</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content |
| genre_facet | Konferenzschrift 2011 Saarbrücken |
| id | DE-604.BV037350443 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T23:22:39Z |
| institution | BVB |
| institution_GND | (DE-588)16105838-3 (DE-588)16105839-5 |
| isbn | 9783642198359 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022503933 |
| oclc_num | 712593169 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634 |
| physical | 1 Online-Ressource (XVI, 394 S.) |
| psigel | ZDB-2-LNC ZDB-2-SCS |
| 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 1 Online-Ressource (XVI, 394 S.) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 6605 Programmiersprache (DE-588)4047409-4 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Paperback / softback Research Petri net SAT solvers SMT solvers abstraction techniques concurrent programs dependability finite-state systems model-checking real-time systems safety software modeling static analysis temporal logic theorem-proving (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 Druck-Ausgabe, Paperback 978-3-642-19834-2 Lecture Notes in Computer Science 6605 (DE-604)BV014880109 6605 https://doi.org/10.1007/978-3-642-19835-9 Verlag Volltext |
| 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 Programmiersprache (DE-588)4047409-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd Systementwicklung (DE-588)4126945-7 gnd Verifikation (DE-588)4135577-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)4196735-5 (DE-588)4126945-7 (DE-588)4135577-5 (DE-588)4116522-6 (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 | Programmiersprache (DE-588)4047409-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd Systementwicklung (DE-588)4126945-7 gnd Verifikation (DE-588)4135577-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Programmiersprache Theoretische Informatik Systementwicklung Verifikation Softwareentwicklung Konferenzschrift 2011 Saarbrücken |
| url | https://doi.org/10.1007/978-3-642-19835-9 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT abdullaparoshaziz toolsandalgorithmsfortheconstructionandanalysisofsystems17thinternationalconferencetacas2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT tacassaarbrucken toolsandalgorithmsfortheconstructionandanalysisofsystems17thinternationalconferencetacas2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT etapssaarbrucken toolsandalgorithmsfortheconstructionandanalysisofsystems17thinternationalconferencetacas2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings |