Holdings: Reachability problems

Reachability problems: 8th international workshop, RP 2014, Oxford, UK, September 22-24, 2014 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Cham [u.a.] Springer 2014
Series:	Lecture notes in computer science 8762
Subjects:	Erreichbarkeitsmenge Erreichbarkeit Zustandsgraph Konferenzschrift > 2014 > Oxford
Online Access:	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
Item Description:	Literaturangaben
Physical Description:	1 Online-Ressource (XX, 243 S.) graph. Darst.
ISBN:	9783319114385 9783319114392
DOI:	10.1007/978-3-319-11439-2

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items