Reachability problems: 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8762 |
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XX, 243 S.) graph. Darst. |
| ISBN: | 9783319114385 9783319114392 |
| DOI: | 10.1007/978-3-319-11439-2 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042168008 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 141105s2014 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783319114385 |9 978-3-319-11438-5 | ||
| 020 | |a 9783319114392 |c (eBook) |9 978-3-319-11439-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-11439-2 |2 doi | |
| 035 | |a (OCoLC)892082662 | ||
| 035 | |a (DE-599)BVBBV042168008 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
| 082 | 0 | |a 004 | |
| 084 | |a DAT 550f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Reachability problems |b 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings |c Joël Ouaknine ... (eds.) |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (XX, 243 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8762 | |
| 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 2014 |z Oxford |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 Ouaknine, Joël |e Sonstige |4 oth | |
| 711 | 2 | |a RP |n 8. |d 2014 |c Oxford |j Sonstige |0 (DE-588)1059978458 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8762 |w (DE-604)BV014880109 |9 8762 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-11439-2 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027607499&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027607499&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027607499 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11439-2 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875630647967744 |
|---|---|
| adam_text |
REACHABILITY PROBLEMS
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
COMPLEXITY BOUNDS FOR ORDINAL-BASED TERMINATION
ON THE COMPLEXITY OF BOUNDED TIME REACHABILITY FOR PIECEWISE AFFINE
SYSTEMS
REACHABILITY AND MORTALITY PROBLEMS FOR RESTRICTED HIERARCHICAL
PIECEWISE CONSTANT DERIVATIVES
PARAMETERIZED VERIFICATION OF COMMUNICATING AUTOMATA UNDER CONTEXT
BOUNDS
REGULAR STRATEGIES IN PUSHDOWN REACHABILITY GAMES
PARAMETERIZED VERIFICATION OF GRAPH TRANSFORMATION SYSTEMS WITH WHOLE
NEIGHBOURHOOD OPERATIONS
EQUIVALENCE BETWEEN MODEL-CHECKING FLAT COUNTER SYSTEMS AND PRESBURGER
ARITHMETIC
SYNTHESISING SUCCINCT STRATEGIES IN SAFETY AND REACHABILITY GAMES
INTEGER VECTOR ADDITION SYSTEMS WITH STATES
REACHABILITY IN MDPS: REFINING CONVERGENCE OF VALUE ITERATION
ON THE EXPRESSIVENESS OF METRIC TEMPORAL LOGIC OVER BOUNDED TIMED WORDS
TRACE INCLUSION FOR ONE-COUNTER NETS REVISITED
MEAN-PAYOFF GAMES WITH PARTIAL-OBSERVATION
PARAMETER SYNTHESIS FOR PROBABILISTIC TIMED AUTOMATA USING STOCHASTIC
GAME ABSTRACTIONS
ON FUNCTIONS WEAKLY COMPUTABLE BY PETRI NETS AND VECTOR ADDITION SYSTEMS
GENERALIZED CRAIG INTERPOLATION FOR STOCHASTIC SATISFIABILITY MODULO
THEORY PROBLEMS
TRANSFORMATIONS FOR COMPOSITIONAL VERIFICATION OF ASSUMPTION-COMMITMENT
PROPERTIES
COMPOSITIONAL REACHABILITY IN PETRI NETS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
REACHABILITY PROBLEMS
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 8TH INTERNATIONAL WORKSHOP
ON REACHABILITY PROBLEMS, RP 2014, HELD IN OXFORD, UK, IN SEPTEMBER
2014. THE 17 PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND
SELECTED FROM 25 SUBMISSIONS. THE BOOK ALSO CONTAINS A PAPER SUMMARIZING
THE INVITED TALK. THE PAPERS OFFER NEW APPROACHES FOR THE MODELLING AND
ANALYSIS OF COMPUTATIONAL PROCESSES BY COMBINING MATHEMATICAL,
ALGORITHMIC, AND COMPUTATIONAL TECHNIQUES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042168008 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 550f DAT 500f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)892082662 (DE-599)BVBBV042168008 |
| 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 |
| doi_str_mv | 10.1007/978-3-319-11439-2 |
| format | Electronic Conference Proceeding eBook |
| 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">BV042168008</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141105s2014 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319114385</subfield><subfield code="9">978-3-319-11438-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319114392</subfield><subfield code="c">(eBook)</subfield><subfield code="9">978-3-319-11439-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-11439-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)892082662</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042168008</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-473</subfield><subfield code="a">DE-20</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-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</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">Reachability problems</subfield><subfield code="b">8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings</subfield><subfield code="c">Joël Ouaknine ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XX, 243 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">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">8762</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">2014</subfield><subfield code="z">Oxford</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">Ouaknine, Joël</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">8.</subfield><subfield code="d">2014</subfield><subfield code="c">Oxford</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1059978458</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">8762</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8762</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027607499&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027607499&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027607499</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11439-2</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Oxford gnd-content |
| genre_facet | Konferenzschrift 2014 Oxford |
| id | DE-604.BV042168008 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:18:41Z |
| institution | BVB |
| institution_GND | (DE-588)1059978458 |
| isbn | 9783319114385 9783319114392 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027607499 |
| oclc_num | 892082662 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (XX, 243 S.) graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Reachability problems 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings Joël Ouaknine ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XX, 243 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8762 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 2014 Oxford gnd-content Erreichbarkeit (DE-588)4334087-8 s Erreichbarkeitsmenge (DE-588)4411406-0 s Zustandsgraph (DE-588)4139305-3 s DE-604 Ouaknine, Joël Sonstige oth RP 8. 2014 Oxford Sonstige (DE-588)1059978458 oth Lecture notes in computer science 8762 (DE-604)BV014880109 8762 https://doi.org/10.1007/978-3-319-11439-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027607499&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027607499&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Reachability problems 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; 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 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings |
| title_auth | Reachability problems 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings |
| title_exact_search | Reachability problems 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings |
| title_full | Reachability problems 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings Joël Ouaknine ... (eds.) |
| title_fullStr | Reachability problems 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings Joël Ouaknine ... (eds.) |
| title_full_unstemmed | Reachability problems 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings Joël Ouaknine ... (eds.) |
| title_short | Reachability problems |
| title_sort | reachability problems 8th international workshop rp 2014 oxford uk september 22 24 2014 proceedings |
| title_sub | 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; 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 2014 Oxford |
| url | https://doi.org/10.1007/978-3-319-11439-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027607499&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027607499&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT ouakninejoel reachabilityproblems8thinternationalworkshoprp2014oxfordukseptember22242014proceedings AT rpoxford reachabilityproblems8thinternationalworkshoprp2014oxfordukseptember22242014proceedings |