MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06154cam a2200865 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn891182384 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703163538.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
140924s2014 sz a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDXCP |
| -- |
UPM |
| -- |
COO |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
NJR |
| -- |
BUF |
| -- |
CEF |
| -- |
DEHBZ |
| -- |
CRU |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
U3W |
| -- |
AU@ |
| -- |
WYU |
| -- |
EBLCP |
| -- |
YOU |
| -- |
U3G |
| -- |
OCLCQ |
| -- |
AUD |
| -- |
OCLCQ |
| -- |
AJS |
| -- |
UKAHL |
| -- |
INARC |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 066 ## - CHARACTER SETS PRESENT |
|---|
| Alternate G0 or G1 character set |
(S |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319114392 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319114395 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319114387 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319114385 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319114385 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-11439-2 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058579234 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
382584481 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15742443 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)891182384 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.V47 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYZG |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM037000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
RP (Workshop) |
| Number of part/section/meeting |
(8th : |
| Date of meeting |
2014 : |
| Location of meeting |
Oxford, England) |
| 9 (RLIN) |
52574 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Reachability problems : |
| Remainder of title |
8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / |
| Statement of responsibility, etc. |
Joël Ouaknine, Igor Potapov, James Worrell (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
RP 2014 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xx, 246 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
8762 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed September 24, 2014). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Linkage |
880-01 |
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
32389 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Decidability (Mathematical logic) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
36262 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15039 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Engineering & Applied Sciences. |
| 9 (RLIN) |
9023 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer Science. |
| 9 (RLIN) |
941 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systèmes informatiques |
| General subdivision |
Vérification |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
967238 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Décidabilité (Logique mathématique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
967332 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique |
| General subdivision |
Mathématiques |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20905 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics |
| Source of heading or term |
fast |
| 9 (RLIN) |
2386 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification |
| Source of heading or term |
fast |
| 9 (RLIN) |
1929 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Decidability (Mathematical logic) |
| Source of heading or term |
fast |
| 9 (RLIN) |
36265 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ouaknine, Joël, |
| Relator term |
editor. |
| 9 (RLIN) |
36355 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Potapov, Igor, |
| Relator term |
editor. |
| 9 (RLIN) |
36267 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Worrell, James, |
| Relator term |
editor. |
| 9 (RLIN) |
52575 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Reachability problems (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFvDGQJgWmQmVjgMtQdRKd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319114385 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
8762. |
| International Standard Serial Number |
0302-9743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-319-11439-2">https://link.springer.com/10.1007/978-3-319-11439-2</a> |
| 880 0# - ALTERNATE GRAPHIC REPRESENTATION |
|---|
| Linkage |
505-01/(S |
| a |
Intro; Preface; Organization; Algorithms for Branching Markov Decision Processes; References; Walking with Data -- Where Does it Stop; References; Complexity Bounds for Ordinal-Based Termination; On the Subtle Interaction Between Reachability and Liveness; Table of Contents; Complexity Bounds for Ordinal-Based Termination; 1 Introduction; 2 Well Quasi Orders and Termination; 2.1 Well Quasi Orders; 2.2 Termination; 2.3 Ordinals; 3 Complexity Bounds; 3.1 Controlled Ranking Functions; 3.2 Hardy and Cichon H́ierarchies; 3.3 A Length Function Theorem for ε0; 4 Complexity Classification |
| 938 ## - |
|---|
| -- |
Internet Archive |
| -- |
INAR |
| -- |
reachabilityprob0000rpwo |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29495657 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL5595280 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
12100201 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |