Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
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 pre...
Cote: | Libro Electrónico |
---|---|
Collectivité auteur: | SpringerLink (Online service) |
Autres auteurs: | Finkel, Alain (Éditeur intellectuel), Leroux, Jerome (Éditeur intellectuel), Potapov, Igor (Éditeur intellectuel) |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012.
|
Édition: | 1st ed. 2012. |
Collection: | Theoretical Computer Science and General Issues,
7550 |
Sujets: | |
Accès en ligne: | Texto Completo |
Documents similaires
-
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings /
Publié: (2013) -
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings /
Publié: (2011) -
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings /
Publié: (2014) -
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings /
Publié: (2012) -
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings /
Publié: (2012)