Reachability Problems
7. RP 2013: Uppsala, Sweden
Parosh Aziz Abdulla, Igor Potapov (Eds.): Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. Springer 2013 Lecture Notes in Computer Science 8169 ISBN 978-3-642-41035-2 [ contents ]
6. RP 2012: Bordeaux, France
- Alain Finkel, Jérôme Leroux, Igor Potapov (Eds.): Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7550 ISBN 978-3-642-33511-2 [ contents ]
5. RP 2011: Genoa, Italy
- Giorgio Delzanno, Igor Potapov (Eds.): Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6945 ISBN 978-3-642-24287-8 [ contents ]
4. RP 2010: Brno, Czech Republic
- Antonín Kucera, Igor Potapov (Eds.): Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6227 ISBN 978-3-642-15348-8 [ contents ]
3. RP 2009: Palaiseau, France
- Olivier Bournez, Igor Potapov (Eds.): Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5797 ISBN 978-3-642-04419-9 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team