Reachability problems: 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
6945 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 244 S. graph. Darst. 24 cm |
| ISBN: | 9783642242878 3642242871 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039600323 | ||
| 003 | DE-604 | ||
| 005 | 20140220 | ||
| 007 | t| | ||
| 008 | 110926s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N35 |2 dnb | ||
| 016 | 7 | |a 1014484243 |2 DE-101 | |
| 020 | |a 9783642242878 |c kart. : EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) |9 978-3-642-24287-8 | ||
| 020 | |a 3642242871 |9 3-642-24287-1 | ||
| 024 | 3 | |a 9783642242878 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80113401 |
| 035 | |a (OCoLC)844940399 | ||
| 035 | |a (DE-599)DNB1014484243 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 511.35 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Reachability problems |b 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings |c Giorgio Delzanno ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XII, 244 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 6945 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Erreichbarkeitsmenge |0 (DE-588)4411406-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Erreichbarkeit |0 (DE-588)4334087-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zustandsgraph |0 (DE-588)4139305-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Genf |2 gnd-content | |
| 689 | 0 | 0 | |a Erreichbarkeit |0 (DE-588)4334087-8 |D s |
| 689 | 0 | 1 | |a Erreichbarkeitsmenge |0 (DE-588)4411406-0 |D s |
| 689 | 0 | 2 | |a Zustandsgraph |0 (DE-588)4139305-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Delzanno, Giorgio |e Sonstige |4 oth | |
| 711 | 2 | |a RP |n 5 |d 2011 |c Genua |j Sonstige |0 (DE-588)16182822-X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Reachability Problems |
| 830 | 0 | |a Lecture notes in computer science |v 6945 |w (DE-604)BV000000607 |9 6945 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3869606&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=024451221&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024451221 | |
Record in the Search Index
| _version_ | 1820875347372015616 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
GRAPH GAMES WITH REACHABILITY OBJECTIVES (INVITED TALK) 1
KRISHNENDU CHATTERJEE
OBSERVING CONTINUOUS-TIME MDPS BY 1-CLOCK TIMED AUTOMATA (INVITED TALK)
2
TAOLUE CHEN, TINGLING HAN, JOOST-PIETER KATOEN, AND ALEXANDRA, MEREACRE
AUTOMATA FOR MONADIC SECOND-ORDER MODEL-CHECKING (INVITED TALK) . . 26
BRUNO COURCELLE
REACHABILITY PROBLEMS FOR HYBRID AUTOMATA (INVITED TALK) 28
JEAN-FRANCOIS RASKIN
SYNTHESIS OF TIMING PARAMETERS SATISFYING SAFETY PROPERTIES 31 ETIENNE
ANDRE AND ROMAIN SOULAT
FORMAL LANGUAGE CONSTRAINED REACHABILITY AND MODEL CHECKING
PROPOSITIONAL DYNAMIC LOGICS 45
ROLAND AXELSSON AND MARTIN LANGE
COMPLETENESS OF THE BOUNDED SATISFIABILITY PROBLEM FOR CONSTRAINT LTL 58
MARCELLO M. BERSANI, ACHILLE FRIGERI, MATTEO ROSSI, AND PIERLUIGI SAN
PIETRO
CHARACTERIZING CONCLUSIVE APPROXIMATIONS BY LOGICAL FORMULAE 72 YOHAN
BOICHUT, THI-BICH-HANH DAO, AND VALERIE MURAT
D E C I D A B I L I TY OF L TL FOR V E C T OR A D D I T I ON S Y S T E
MS W I TH O NE Z E R O - T E ST . . 85
REMI BONNET
COMPLEXITY ANALYSIS OF THE BACKWARD COVERABILITY ALGORITHM FOR VASS 96
LAURA BOZZELLI AND PIERRE GANTY
AUTOMATED TERMINATION IN MODEL CHECKING MODULO THEORIES 110 ALESSANDRO
CARIONI, SILVIO GHILARDI, AND SILVIO RANISE
MONOTONIE ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES 125
PAROSH AZIZ ABDULLA, JONATHAN CEDERBERG, AND TOMAS VOJNAR
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1014484243
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
EFFICIENT BOUNDED REACHABILITY COMPUTATION FOR RECTANGULAR AUTOMATA 139
XIN CHEN, ERIKA ABRAHAM, AND GORAN FREHSE
REACHABILITY AND DEADLOCKING PROBLEMS IN MULTI-STAGE SCHEDULING 153
CHRISTIAN E.J. EGGERMONT AND GERHARD J. WOEGINGER
IMPROVING REACHABILITY ANALYSIS OF INFINITE STATE SYSTEMS BY
SPECIALIZATION 165
FABIO FIORAVANTI, ALBERTO PETTOROSSI, MAURIZIO PROIETTI, AND VALERIO
SENNI
LOWER BOUNDS FOR THE LENGTH OF RESET WORDS IN EULERIAN AUTOMATA . . .
180 VLADIMIR V. GUSEV
PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE
INVERSE METHOD 191
LAURENT FRIBOURG AND ULRICH KUEHNE
A NEW WEAKLY UNIVERSAL CELLULAR AUTOMATON IN THE 3D HYPERBOLIC SPACE
WITH TWO STATES 205
MAURICE MARGENSTERN
A FULLY SYMBOLIC BISIMULATION ALGORITHM 218
MALCOLM MUMME AND GIANFRANCO CIARDO
REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING STATIC ANALYSIS 231
NATALIYA SKRYPNYUK AND FLEMMING NIELSON
AUTHOR INDEX 245 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039600323 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)844940399 (DE-599)DNB1014484243 |
| dewey-full | 511.35 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.35 |
| dewey-search | 511.35 |
| dewey-sort | 3511.35 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| 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">BV039600323</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140220</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110926s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N35</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1014484243</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642242878</subfield><subfield code="c">kart. : EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-24287-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642242871</subfield><subfield code="9">3-642-24287-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642242878</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80113401</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844940399</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1014484243</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.35</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">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reachability problems</subfield><subfield code="b">5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings</subfield><subfield code="c">Giorgio Delzanno ... (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">XII, 244 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">6945</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erreichbarkeitsmenge</subfield><subfield code="0">(DE-588)4411406-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zustandsgraph</subfield><subfield code="0">(DE-588)4139305-3</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">Genf</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Erreichbarkeitsmenge</subfield><subfield code="0">(DE-588)4411406-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Zustandsgraph</subfield><subfield code="0">(DE-588)4139305-3</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">Delzanno, Giorgio</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RP</subfield><subfield code="n">5</subfield><subfield code="d">2011</subfield><subfield code="c">Genua</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16182822-X</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">Reachability Problems</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6945</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6945</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=3869606&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=024451221&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-024451221</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Genf gnd-content |
| genre_facet | Konferenzschrift 2011 Genf |
| id | DE-604.BV039600323 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:11Z |
| institution | BVB |
| institution_GND | (DE-588)16182822-X |
| isbn | 9783642242878 3642242871 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024451221 |
| oclc_num | 844940399 |
| 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 | XII, 244 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings Giorgio Delzanno ... (eds.) Berlin [u.a.] Springer 2011 XII, 244 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6945 Literaturangaben Erreichbarkeitsmenge (DE-588)4411406-0 gnd rswk-swf Erreichbarkeit (DE-588)4334087-8 gnd rswk-swf Zustandsgraph (DE-588)4139305-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Genf gnd-content Erreichbarkeit (DE-588)4334087-8 s Erreichbarkeitsmenge (DE-588)4411406-0 s Zustandsgraph (DE-588)4139305-3 s DE-604 Delzanno, Giorgio Sonstige oth RP 5 2011 Genua Sonstige (DE-588)16182822-X oth Erscheint auch als Online-Ausgabe Reachability Problems Lecture notes in computer science 6945 (DE-604)BV000000607 6945 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3869606&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=024451221&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings Lecture notes in computer science Erreichbarkeitsmenge (DE-588)4411406-0 gnd Erreichbarkeit (DE-588)4334087-8 gnd Zustandsgraph (DE-588)4139305-3 gnd |
| subject_GND | (DE-588)4411406-0 (DE-588)4334087-8 (DE-588)4139305-3 (DE-588)1071861417 |
| title | Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings |
| title_auth | Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings |
| title_exact_search | Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings |
| title_full | Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings Giorgio Delzanno ... (eds.) |
| title_fullStr | Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings Giorgio Delzanno ... (eds.) |
| title_full_unstemmed | Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings Giorgio Delzanno ... (eds.) |
| title_short | Reachability problems |
| title_sort | reachability problems 5th international workshop rp 2011 genoa italy september 28 30 2011 proceedings |
| title_sub | 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings |
| topic | Erreichbarkeitsmenge (DE-588)4411406-0 gnd Erreichbarkeit (DE-588)4334087-8 gnd Zustandsgraph (DE-588)4139305-3 gnd |
| topic_facet | Erreichbarkeitsmenge Erreichbarkeit Zustandsgraph Konferenzschrift 2011 Genf |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3869606&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=024451221&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT delzannogiorgio reachabilityproblems5thinternationalworkshoprp2011genoaitalyseptember28302011proceedings AT rpgenua reachabilityproblems5thinternationalworkshoprp2011genoaitalyseptember28302011proceedings |