Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6015 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036100701 | ||
| 003 | DE-604 | ||
| 005 | 20100611 | ||
| 007 | t| | ||
| 008 | 100329s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,A13 |2 dnb | ||
| 016 | 7 | |a 1000251993 |2 DE-101 | |
| 020 | |a 9783642120015 |c kart. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.) |9 978-3-642-12001-5 | ||
| 024 | 3 | |a 9783642120015 | |
| 028 | 5 | 2 | |a 80011160 |
| 035 | |a (OCoLC)586999181 | ||
| 035 | |a (DE-599)DNB1000251993 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.12 |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 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |c Javier Esparza ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XVI, 468 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 6015 : Advanced research in computing and software science | |
| 500 | |a Literaturangaben | ||
| 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 Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Paphos Ktima |2 gnd-content | |
| 689 | 0 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Esparza, Javier |d 1964- |e Sonstige |0 (DE-588)111831016 |4 oth | |
| 711 | 2 | |a TACAS |n 16 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16174268-3 |4 oth | |
| 711 | 2 | |a ETAPS |n 13 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059897-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6015 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 6015 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3427663&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=018991072&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018991072 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
|---|---|
| DE-BY-TUM_katkey | 1727465 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010228730 |
| _version_ | 1822409239052681216 |
| adam_text |
TABLE OF CONTENTS INVITED TALKS EMBEDDED SYSTEMS DESIGN - SCIENTIFIC
CHALLENGES AND WORK DIRECTIONS (ABSTRACT) 1 JOSEPH SIFAKIS ANTICHAIN
ALGORITHMS FOR FINITE AUTOMATA 2 LAURENT DOYEN AND JEAN-FRANCOIS RASKIN
PROBABILISTIC SYSTEMS AND OPTIMIZATION ASSUME-GUARANTEE VERIFICATION FOR
PROBABILISTIC SYSTEMS 23 MARIA KWIATKOWSKA, GETHIN NORMAN, DAVID PARKER,
AND HONGYANG QU SIMPLE O(M LOG N) TIME MARKOV CHAIN LUMPING 38 ANTTI
VALMARI AND GIULIANA FRANCESCHINIS MODEL CHECKING INTERACTIVE MARKOV
CHAINS 53 LIJUN ZHANG AND MARTIN R. NEUHAEUSSER APPROXIMATING THE PARETO
FRONT OF MULTI-CRITERIA OPTIMIZATION PROBLEMS 69 JULIEN LEGRIEL, COLAS
LE GUERNIC, SCOTT COTTON, AND ODED MALER DECISION PROCEDURES AN
ALTERNATIVE TO SAT-BASED APPROACHES FOR BIT-VECTORS 84 SEBASTIEN BARDIN,
PHILIPPE HERRMANN, AND FLORIAN PERROUD SATISFIABILITY MODULO THE THEORY
OF COSTS: FOUNDATIONS AND APPLICATIONS 99 ALESSANDRO CIMATTI, ANDERS
FRANZEN, ALBERTO GRIGGIO, ROBERTO SEBASTIANI, AND CRISTIAN STENICO
OPTIMAL TABLEAU ALGORITHMS FOR COALGEBRAIC LOGICS 114 RAJEEV GORE,
CLEMENS KUPKE, AND DIRK PATTINSON BLOCKED CLAUSE ELIMINATION 129 MATTI
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1000251993 DIGITALISIERT
DURCH XIV TABLE OF CONTENTS TOOLS I BOOM: TAKING BOOLEAN PROGRAM MODEL
CHECKING ONE STEP FURTHER . 145 GERARD BASIER, MATTHEW HAGUE, DANIEL
KROENING, C.-H. LUKE ONG, THOMAS WAHL, AND HAOXIAN ZHAO THE OPENSMT
SOLVER 150 ROBERTO BRUTTOMESSO, EDGAR PEK, NATASHA SHARYGINA, AND
ALIAKSEI TSITOVICH STRANGER: AN AUTOMATA-BASED STRING ANALYSIS TOOL FOR
PHP 154 FANG YU, MUATH ALKHALAF, AND TEVFIK BULTAN AUTOMATA THEORY WHEN
SIMULATION MEETS ANTICHAINS: ON CHECKING LANGUAGE INCLUSION OF
NONDETERMINISTIC FINITE (TREE) AUTOMATA 158 PAROSH AZIZ ABDULLA, YU-FANG
CHEN, LUKAS HOLIK, RICHARD MAYR, AND TOMAS VOJNAR ON WEAK MODAL
COMPATIBILITY, REFINEMENT, AND THE MIO WORKBENCH 175 SEBASTIAN S. BAUER,
PHILIP MAYER, ANDREAS SCHROEDER, AND ROLF HENNICKER RATIONAL SYNTHESIS
190 DANA FISMAN, ORNA KUPFERMAN, AND YOAD LUSTIG EFFICIENT BUCHI
UNIVERSALITY CHECKING 205 SETH FOGARTY AND MOSHE Y. VARAI LIVENESS
AUTOMATED TERMINATION ANALYSIS FOR PROGRAMS WITH SECOND-ORDER RECURSION
221 MARKUS ADERHOLD RANKING FUNCTION SYNTHESIS FOR BIT-VECTOR RELATIONS
236 BYRON COOK, DANIEL KROENING, PHILIPP RUMMER, AND CHRISTOPH M.
WINTERSTEIGER FAIRNESS FOR DYNAMIC CONTROL 251 JOCHEN TABLE OF CONTENTS
XV SLAB: A CERTIFYING MODEL CHECKER FOR INFINITE-STATE CONCURRENT
SYSTEMS 271 KLAUS DRAEGER, ANDREY KUPRIYANOV, BERND FINKBEINER, AND HEIKE
WEHRHEIM TRACKING HEAPS THAT HOP WITH HEAP-HOP 275 JULES VILLARD,
ETIENNE LOZES, AND CRISTIANO CALCAGNO SOFTWARE VERIFICATION AUTOMATIC
ANALYSIS OF SCRATCH-PAD MEMORY CODE FOR HETEROGENEOUS MULTICORE
PROCESSORS 280 ALASTAIR F. DONALDSON, DANIEL KROENING, AND PHILIPP
RUMMER SIMPLIFYING LINEARIZABILITY PROOFS WITH REDUCTION AND ABSTRACTION
296 TAYFUN ELMAS, SHAZ QADEER, ALI SEZGIN, OMER SUBASI, AND SERDAR
TASIRAN A POLYMORPHIC INTERMEDIATE VERIFICATION LANGUAGE: DESIGN AND
LOGICAL ENCODING 312 K. RUSTAN M. LEINO AND PHILIPP RUMMER TRACE-BASED
SYMBOLIC ANALYSIS FOR ATOMICITY VIOLATIONS 328 CHAO WANG, RHISHIKESH
LIMAYE, MALAY GANAI, AND AARTI GUPTA TOOLS III ACS: AUTOMATIC CONVERTER
SYNTHESIS FOR SOC BUS PROTOCOLS 343 KARIN AVNIT, ARCOT SOWMYA, AND
JOERGEN PEDDERSEN ALPINA: AN ALGEBRAIC PETRI NET ANALYZER 349 DIDIER
BUCHS, STEVE HOSTETTLER, ALEXIS MARECHAL, AND MATTEO RISOLDI PASS:
ABSTRACTION REFINEMENT FOR INFINITE PROBABILISTIC MODELS 353 ERNST
MORITZ HAHN, HOLGER HERMANNS, BJOERN WAECHTER, AND LIJUN ZHANG REAL TIME
AND INFORMATION FLOW ARRIVA XVI TABLE OF CONTENTS STATISTICAL
MEASUREMENT OF INFORMATION LEAKAGE 390 KONSTANTINOS CHATZIKOKOLAKIS, TOM
CHOTHIA, AND APRATIM GUHA SAT BASED BOUNDED MODEL CHECKING WITH PARTIAL
ORDER SEMANTICS FOR TIMED AUTOMATA 405 JANUSZ MALINOWSKI AND PETER
NIEBERT TESTING PREEMPTION SEALING FOR EFFICIENT CONCURRENCY TESTING 420
THOMAS BALL, SEBASTIAN BURCKHARDT, KATHERINE E. COONS, MADANLAL
MUSUVATHI, AND SHAZ QADEER CODE MUTATION IN VERIFICATION AND AUTOMATIC
CODE CORRECTION 435 GAL KATZ AND DORON PELED EFFICIENT DETECTION OF
ERRORS IN JAVA COMPONENTS USING RANDOM ENVIRONMENT AND RESTARTS 451
PAVEL PARIZEK AND TOMAS KALIBERA AUTHOR INDEX 467 |
| any_adam_object | 1 |
| author_GND | (DE-588)111831016 |
| building | Verbundindex |
| bvnumber | BV036100701 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 500f |
| ctrlnum | (OCoLC)586999181 (DE-599)DNB1000251993 |
| dewey-full | 005.12 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.12 |
| dewey-search | 005.12 |
| dewey-sort | 15.12 |
| 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">BV036100701</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100611</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100329s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,A13</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000251993</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642120015</subfield><subfield code="c">kart. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-12001-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642120015</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80011160</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)586999181</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000251993</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-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</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">16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings</subfield><subfield code="c">Javier Esparza ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 468 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">6015 : Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Paphos Ktima</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Esparza, Javier</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)111831016</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">16</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16174268-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">13</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059897-7</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">6015 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6015</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=3427663&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=018991072&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-018991072</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content |
| genre_facet | Konferenzschrift 2010 Paphos Ktima |
| id | DE-604.BV036100701 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:34:44Z |
| institution | BVB |
| institution_GND | (DE-588)16174268-3 (DE-588)16059897-7 |
| isbn | 9783642120015 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018991072 |
| oclc_num | 586999181 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XVI, 468 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 | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Javier Esparza ... (ed.) Berlin [u.a.] Springer 2010 XVI, 468 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6015 : Advanced research in computing and software science Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content Systementwicklung (DE-588)4126945-7 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Model Checking (DE-588)4434799-6 s Programmanalyse (DE-588)4175841-9 s Theoretische Informatik (DE-588)4196735-5 s Esparza, Javier 1964- Sonstige (DE-588)111831016 oth TACAS 16 2010 Paphos Sonstige (DE-588)16174268-3 oth ETAPS 13 2010 Paphos Sonstige (DE-588)16059897-7 oth Lecture notes in computer science 6015 : Advanced research in computing and software science (DE-604)BV000000607 6015 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3427663&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=018991072&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4116522-6 (DE-588)4175841-9 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Javier Esparza ... (ed.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Javier Esparza ... (ed.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Javier Esparza ... (ed.) |
| title_short | Tools and algorithms for the construction and analysis of systems |
| title_sort | tools and algorithms for the construction and analysis of systems 16th international conference tacas 2010 held as part of the joint european conferences on theory and practice of software etaps 2010 paphos cyprus march 20 28 2010 proceedings |
| title_sub | 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd |
| topic_facet | Theoretische Informatik Softwareentwicklung Programmanalyse Systementwicklung Model Checking Konferenzschrift 2010 Paphos Ktima |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3427663&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=018991072&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT esparzajavier toolsandalgorithmsfortheconstructionandanalysisofsystems16thinternationalconferencetacas2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT tacaspaphos toolsandalgorithmsfortheconstructionandanalysisofsystems16thinternationalconferencetacas2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT etapspaphos toolsandalgorithmsfortheconstructionandanalysisofsystems16thinternationalconferencetacas2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings |