![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd RP 2008: Liverpool, UK
- Vesa Halava, Igor Potapov:
Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008. Electronic Notes in Theoretical Computer Science 223, Elsevier 2008 - Vesa Halava, Igor Potapov:
Preface. 1-2 - Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Monotonic Abstraction in Parameterized Verification. 3-14 - Juhani Karhumäki:
Reachability via Cooperating Morphisms. 15-27 - Étienne André
, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz:
An Inverse Method for Parametric Timed Automata. 29-46 - Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
Approximated Reachability on Hybrid Automata: Falsification meets Certification. 47-60 - Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Handling Left-Quadratic Rules When Completing Tree Automata. 61-70 - Nathaniel Charlton, Michael Huth:
Falsifying Safety Properties Through Games on Over-approximating Models. 71-86 - Pieter Collins, Alexandre Goldsztejn
:
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems. 87-102 - Ingo Felscher:
The Compositional Method and Regular Reachability. 103-117 - Jan Friso Groote
, Bas Ploeger:
Switching Graphs. 119-135 - Kai Lampka:
A New Algorithm for Partitioned Symbolic Reachability Analysis. 137-151 - Marisa Llorens
, Javier Oliver
, Josep Silva
, Salvador Tamarit
, Germán Vidal
:
Dynamic Slicing Techniques for Petri Nets. 153-165 - Maurice Margenstern, Yu Song:
A Universal Cellular Automaton on the Ternary Heptagrid. 167-185 - Pavel Martyugin:
The Length of Subset Reachability in Nondeterministic Automata. 187-200 - Arne Meier
, Martin Mundhenk, Michael Thomas, Heribert Vollmer
:
The Complexity of Satisfiability for Fragments of CTL and CTL*. 201-213 - M. Praveen, Kamal Lodaya:
Analyzing Reachability for Some Petri Nets With Fast Growing Markings. 215-237 - Klaus Reinhardt:
Reachability in Petri Nets with Inhibitor Arcs. 239-264
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.