↓ Skip to main content
What is this page? Embed badge

Reachability Problems

Overview of attention for book
Cover of 'Reachability Problems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Fraenkel-Mostowski Sets with Non-homogeneous Atoms
  3. Altmetric Badge
    Chapter 2 Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata
  4. Altmetric Badge
    Chapter 3 Decision Problems for Linear Recurrence Sequences
  5. Altmetric Badge
    Chapter 4 Playing Games with Counter Automata
  6. Altmetric Badge
    Chapter 5 LTL-Model-Checking via Model Composition
  7. Altmetric Badge
    Chapter 6 On the Relationship between Reachability Problems in Timed and Counter Automata
  8. Altmetric Badge
    Chapter 7 Smooth Sand Piles
  9. Altmetric Badge
    Chapter 8 Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
  10. Altmetric Badge
    Chapter 9 Robustness of Time Petri Nets under Guard Enlargement
  11. Altmetric Badge
    Chapter 10 Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
  12. Altmetric Badge
    Chapter 11 On the Length of Knot Transformations via Reidemeister Moves I and II
  13. Altmetric Badge
    Chapter 12 Invariants for LTI Systems with Uncertain Input
Attention for Chapter 5: LTL-Model-Checking via Model Composition
Altmetric Badge

Readers on

mendeley
2 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
LTL-Model-Checking via Model Composition
Chapter number 5
Book title
Reachability Problems
Published in
Lecture notes in computer science, September 2012
DOI 10.1007/978-3-642-33512-9_5
Book ISBNs
978-3-64-233511-2, 978-3-64-233512-9
Authors

Ingo Felscher

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Other 1 50%
Unknown 1 50%
Readers by discipline Count As %
Agricultural and Biological Sciences 1 50%
Unknown 1 50%

This page is provided by Altmetric.