Reachability problems: 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2009
|
| Series: | Lecture notes in computer science
5797 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 232 S. Ill., graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642044199 3642044190 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035763228 | ||
| 003 | DE-604 | ||
| 005 | 20091223 | ||
| 007 | t| | ||
| 008 | 091009s2009 xx ad|| |||| 10||| eng d | ||
| 015 | |a 09,N36,0076 |2 dnb | ||
| 016 | 7 | |a 995948127 |2 DE-101 | |
| 020 | |a 9783642044199 |c PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-04419-9 | ||
| 020 | |a 3642044190 |9 3-642-04419-0 | ||
| 024 | 3 | |a 9783642044199 | |
| 035 | |a (OCoLC)553589432 | ||
| 035 | |a (DE-599)DNB995948127 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Reachability problems |b 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings |c Olivier Bournez ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 232 S. |b Ill., graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5797 | |
| 650 | 4 | |a Erreichbarkeitsmenge - Kongress - Palaiseau <2009> | |
| 650 | 4 | |a Zustandsgraph - Kongress - Palaiseau <2009> | |
| 650 | 0 | 7 | |a Erreichbarkeitsmenge |0 (DE-588)4411406-0 |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 2009 |z Palaiseau |2 gnd-content | |
| 689 | 0 | 0 | |a Zustandsgraph |0 (DE-588)4139305-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Erreichbarkeitsmenge |0 (DE-588)4411406-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Bournez, Olivier |e Sonstige |4 oth | |
| 711 | 2 | |a RP |n 3 |d 2009 |c Palaiseau |j Sonstige |0 (DE-588)16023782-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5797 |w (DE-604)BV000000607 |9 5797 | |
| 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=018623062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018623062 | |
Record in the Search Index
| _version_ | 1820875180305547264 |
|---|---|
| adam_text |
TABLE OF CONTENTS ON THE REACHABILITY PROBLEM FOR DYNAMIC NETWORKS OF
CONCURRENT PUSHDOWN SYSTEMS (INVITED TALK) 1 MOHAMED FAOUZI ATIG AND
AHMED BOUAJJANI FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS
(INVITED TALK) 3 THOMAS HENZINGER, BARBARA JOBSTMANN, AND VERENA WOLF
REACHABILITY FOR CONTINUOUS AND HYBRID SYSTEMS (INVITED TALK) 24 ODED
MALER ALGORITHMIC INFORMATION THEORY AND FOUNDATIONS OF PROBABILITY
(INVITED TALK) 26 ALEXANDER SHEN MODEL CHECKING AS A REACHABILITY
PROBLEM (INVITED TALK) 35 MOSHE Y. VARDI AUTOMATIC VERIFICATION OF
DIRECTORY-BASED CONSISTENCY PROTOCOLS 36 PAROSH AZIZ ABDULLA, GIORGIO
DELZANNO, AND AHMED REZINE ON YEN'S PATH LOGIC FOR PETRI NETS 51 MOHAMED
FAOUZI ATIG AND PETER HABERMEHL PROBABILISTIC MODEL CHECKING OF
BIOLOGICAL SYSTEMS WITH UNCERTAIN KINETIC RATES 64 ROBERTO BARBUTI,
FRANCESCA LEVI, PAOLO MILAZZO, AND GUIDO SCATENA HOW TO TACKLE INTEGER
WEIGHTED AUTOMATA POSITIVITY 79 YOHAN BOICHUT, PIERRE-CYRILLE B.EAM, AND
OLGA KOUCHNARENKO A REDUCTION THEOREM FOR THE VERIFICATION OF
ROUND-BASED DISTRIBUTED ALGORITHMS 93 MOUNA CHAOUCH-SAAD, BERNADETTE
CHARRON-BOST, AND STEPHAN MERZ COMPUTABLE CTL* FOR DISCRETE-TIME AND
CONTINUOUS-SPACE DYNAMIC SYSTEM BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/995948127 DIGITALISIERT DURCH X TABLE OF CONTENTS
COUNTING MULTIPLICITY OVER INFINITE ALPHABETS 141 AMALDEV MANUEL AND R.
RAMANUJAM THE PERIODIC DOMINO PROBLEM IS UNDECIDABLE IN THE HYPERBOLIC
PLANE 154 MAURICE MARGENSTERN GAMES WITH OPACITY CONDITION 166 BASTIEN
MAUBERT AND SOPHIE PINCHINAT ABSTRACT COUNTEREXAMPLES FOR
NON-DISJUNCTIVE ABSTRACTIONS 176 KENNETH L. MCMILLAN AND LENORE D. ZUCK
CROSS-CHECKING - ENHANCED OVER-APPROXIMATION OF THE REACHABLE GLOBAL
STATE SPACE OF COMPONENT-BASED SYSTEMS 189 MILA MAJSTER-CEDERBAUM AND
CHRISTOPH MINNAMEIER GAMES ON HIGHER ORDER MULTI-STACK PUSHDOWN SYSTEMS
203 ANIL SETH LIMIT SET REACHABILITY IN ASYNCHRONOUS GRAPH DYNAMICAL
SYSTEMS 217 V.S. ANIL KUMAR, MATT MACAULEY, AND HENNING S. MORTVEIT
AUTHOR INDEX 233 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035763228 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)553589432 (DE-599)DNB995948127 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| 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">BV035763228</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091223</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091009s2009 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N36,0076</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">995948127</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642044199</subfield><subfield code="c">PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-04419-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642044190</subfield><subfield code="9">3-642-04419-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642044199</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)553589432</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB995948127</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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="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">Reachability problems</subfield><subfield code="b">3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings</subfield><subfield code="c">Olivier Bournez ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 232 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5797</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Erreichbarkeitsmenge - Kongress - Palaiseau <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Zustandsgraph - Kongress - Palaiseau <2009></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">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">2009</subfield><subfield code="z">Palaiseau</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="689" ind1="1" ind2="0"><subfield code="a">Erreichbarkeitsmenge</subfield><subfield code="0">(DE-588)4411406-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bournez, Olivier</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">3</subfield><subfield code="d">2009</subfield><subfield code="c">Palaiseau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16023782-8</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">5797</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5797</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=018623062&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-018623062</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Palaiseau gnd-content |
| genre_facet | Konferenzschrift 2009 Palaiseau |
| id | DE-604.BV035763228 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:31Z |
| institution | BVB |
| institution_GND | (DE-588)16023782-8 |
| isbn | 9783642044199 3642044190 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018623062 |
| oclc_num | 553589432 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | X, 232 S. Ill., graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings Olivier Bournez ... (eds.) Berlin [u.a.] Springer 2009 X, 232 S. Ill., graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5797 Erreichbarkeitsmenge - Kongress - Palaiseau <2009> Zustandsgraph - Kongress - Palaiseau <2009> Erreichbarkeitsmenge (DE-588)4411406-0 gnd rswk-swf Zustandsgraph (DE-588)4139305-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Palaiseau gnd-content Zustandsgraph (DE-588)4139305-3 s DE-604 Erreichbarkeitsmenge (DE-588)4411406-0 s Bournez, Olivier Sonstige oth RP 3 2009 Palaiseau Sonstige (DE-588)16023782-8 oth Lecture notes in computer science 5797 (DE-604)BV000000607 5797 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018623062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings Lecture notes in computer science Erreichbarkeitsmenge - Kongress - Palaiseau <2009> Zustandsgraph - Kongress - Palaiseau <2009> Erreichbarkeitsmenge (DE-588)4411406-0 gnd Zustandsgraph (DE-588)4139305-3 gnd |
| subject_GND | (DE-588)4411406-0 (DE-588)4139305-3 (DE-588)1071861417 |
| title | Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings |
| title_auth | Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings |
| title_exact_search | Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings |
| title_full | Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings Olivier Bournez ... (eds.) |
| title_fullStr | Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings Olivier Bournez ... (eds.) |
| title_full_unstemmed | Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings Olivier Bournez ... (eds.) |
| title_short | Reachability problems |
| title_sort | reachability problems 3rd international workshop rp 2009 palaiseau france september 23 25 2009 proceedings |
| title_sub | 3rd international workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009 ; proceedings |
| topic | Erreichbarkeitsmenge - Kongress - Palaiseau <2009> Zustandsgraph - Kongress - Palaiseau <2009> Erreichbarkeitsmenge (DE-588)4411406-0 gnd Zustandsgraph (DE-588)4139305-3 gnd |
| topic_facet | Erreichbarkeitsmenge - Kongress - Palaiseau <2009> Zustandsgraph - Kongress - Palaiseau <2009> Erreichbarkeitsmenge Zustandsgraph Konferenzschrift 2009 Palaiseau |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018623062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bournezolivier reachabilityproblems3rdinternationalworkshoprp2009palaiseaufranceseptember23252009proceedings AT rppalaiseau reachabilityproblems3rdinternationalworkshoprp2009palaiseaufranceseptember23252009proceedings |