Verfügbarkeit: Reachability problems

Reachability problems: 5th international workshop, RP 2011, Genoa, Italy, September 28 - 30, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6945
Schlagworte:	Erreichbarkeitsmenge Erreichbarkeit Zustandsgraph Konferenzschrift > 2011 > Genf
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	Literaturangaben
Beschreibung:	XII, 244 S. graph. Darst. 24 cm
ISBN:	9783642242878 3642242871

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039600323
003	DE-604
005	20140220
007	t
008	110926s2011 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 SS 4800 \|0 (DE-625)143528: \|2 rvk
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

Datensatz im Suchindex

_version_	1805145250442772480
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 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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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	2024-07-21T00:11:01Z
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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge