The Resource Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Resource Information
The item Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games
- Language
- eng
- Extent
- 1 online resource.
- Contents
-
- LTL-Model-Checking via Model Composition
- Ingo Felscher
- On the Relationship between Reachability Problems in Timed and Counter Automata
- Christoph Haase, Joël Ouaknine and James Worrell
- Smooth Sand Piles
- Stefano Brocchi and Paolo Massazza
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
- Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari and Luca Geretti, et al.
- Robustness of Time Petri Nets under Guard Enlargement
- S. Akshay, Loïc Hélouët, Claude Jard and Pierre-Alain Reynier
- Fraenkel-Mostowski Sets with Non-homogeneous Atoms
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
- Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivančić and Aarti Gupta
- On the Length of Knot Transformations via Reidemeister Moves I and II
- Rafiq Saleh
- Invariants for LTI Systems with Uncertain Input
- Paul Hänsch and Stefan Kowalewski
- Mikołaj Bojańczyk and Sławomir Lasota
- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata
- Sylvain Salvati and Igor Walukiewicz
- Decision Problems for Linear Recurrence Sequences
- Joël Ouaknine and James Worrell
- Playing Games with Counter Automata
- Antonín Kučera
- Isbn
- 9783642335129
- Label
- Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
- Title
- Reachability problems
- Title remainder
- 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
- Statement of responsibility
- Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
- Title variation
- RP 2012
- Subject
-
- Algorithms
- Computation by Abstract Devices.
- Computer science -- Mathematics
- Computer science -- Mathematics
- Computer science -- Mathematics -- Congresses
- Computer science.
- Computer software
- Computer software
- Computer software.
- Computer systems -- Verification
- Computer systems -- Verification
- Computer systems -- Verification -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Congress
- Decidability (Mathematical logic)
- Decidability (Mathematical logic)
- Decidability (Mathematical logic) -- Congresses
- Informatique
- Logic design.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Numerical Analysis, Computer-Assisted
- Programming Languages, Compilers, Interpreters.
- Software engineering.
- Algorithm Analysis and Problem Complexity.
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games
- Cataloging source
- GW5XE
- Dewey number
- 004
- Index
- index present
- LC call number
- QA76.76.V47
- LC item number
- R6 2012
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2012
- http://bibfra.me/vocab/lite/meetingName
- RP (Workshop)
- Nature of contents
-
- dictionaries
- bibliography
- NLM call number
-
- 2012 H-910
- QA 76.76.V47
- http://library.link/vocab/relatedWorkOrContributorDate
- 1958-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Finkel, A.
- Leroux, Jérôme
- Potapov, Igor
- Series statement
-
- Lecture notes in computer science,
- LNCS sublibrary. SL 1, Theoretical computer science and general issues
- Series volume
- 7550
- http://library.link/vocab/subjectName
-
- Computer systems
- Decidability (Mathematical logic)
- Computer science
- Numerical Analysis, Computer-Assisted
- Algorithms
- Informatique
- Computer science
- Computer systems
- Decidability (Mathematical logic)
- Label
- Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- LTL-Model-Checking via Model Composition
- Ingo Felscher
- On the Relationship between Reachability Problems in Timed and Counter Automata
- Christoph Haase, Joël Ouaknine and James Worrell
- Smooth Sand Piles
- Stefano Brocchi and Paolo Massazza
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
- Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari and Luca Geretti, et al.
- Robustness of Time Petri Nets under Guard Enlargement
- S. Akshay, Loïc Hélouët, Claude Jard and Pierre-Alain Reynier
- Fraenkel-Mostowski Sets with Non-homogeneous Atoms
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
- Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivančić and Aarti Gupta
- On the Length of Knot Transformations via Reidemeister Moves I and II
- Rafiq Saleh
- Invariants for LTI Systems with Uncertain Input
- Paul Hänsch and Stefan Kowalewski
- Mikołaj Bojańczyk and Sławomir Lasota
- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata
- Sylvain Salvati and Igor Walukiewicz
- Decision Problems for Linear Recurrence Sequences
- Joël Ouaknine and James Worrell
- Playing Games with Counter Automata
- Antonín Kučera
- Control code
- 810274195
- Dimensions
- unknown
- Extent
- 1 online resource.
- File format
- unknown
- Form of item
- online
- Isbn
- 9783642335129
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-642-33512-9
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)810274195
- Label
- Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- LTL-Model-Checking via Model Composition
- Ingo Felscher
- On the Relationship between Reachability Problems in Timed and Counter Automata
- Christoph Haase, Joël Ouaknine and James Worrell
- Smooth Sand Piles
- Stefano Brocchi and Paolo Massazza
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
- Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari and Luca Geretti, et al.
- Robustness of Time Petri Nets under Guard Enlargement
- S. Akshay, Loïc Hélouët, Claude Jard and Pierre-Alain Reynier
- Fraenkel-Mostowski Sets with Non-homogeneous Atoms
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
- Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivančić and Aarti Gupta
- On the Length of Knot Transformations via Reidemeister Moves I and II
- Rafiq Saleh
- Invariants for LTI Systems with Uncertain Input
- Paul Hänsch and Stefan Kowalewski
- Mikołaj Bojańczyk and Sławomir Lasota
- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata
- Sylvain Salvati and Igor Walukiewicz
- Decision Problems for Linear Recurrence Sequences
- Joël Ouaknine and James Worrell
- Playing Games with Counter Automata
- Antonín Kučera
- Control code
- 810274195
- Dimensions
- unknown
- Extent
- 1 online resource.
- File format
- unknown
- Form of item
- online
- Isbn
- 9783642335129
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-642-33512-9
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)810274195
Subject
- Algorithms
- Computation by Abstract Devices.
- Computer science -- Mathematics
- Computer science -- Mathematics
- Computer science -- Mathematics -- Congresses
- Computer science.
- Computer software
- Computer software
- Computer software.
- Computer systems -- Verification
- Computer systems -- Verification
- Computer systems -- Verification -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Congress
- Decidability (Mathematical logic)
- Decidability (Mathematical logic)
- Decidability (Mathematical logic) -- Congresses
- Informatique
- Logic design.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Numerical Analysis, Computer-Assisted
- Programming Languages, Compilers, Interpreters.
- Software engineering.
- Algorithm Analysis and Problem Complexity.
Genre
Member of
- Lecture notes in computer science, 7550
- LNCS sublibrary, SL 1, Theoretical computer science and general issues
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Reachability-problems--6th-International/NY__l17JdAs/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Reachability-problems--6th-International/NY__l17JdAs/">Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Reachability-problems--6th-International/NY__l17JdAs/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Reachability-problems--6th-International/NY__l17JdAs/">Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
