Publications de Christophe Morvan

Conferences internationales

1. C. Morvan, S. Pinchinat, Diagnosability of pushdown systems, in HVC2009, Haifa Verification Conference (to appear in LNCS), Haifa, Israel, Octobre 2009. (détails)
2. C. Morvan, On external presentations of infinite graphs, in 11th International Workshop on Verification of Infinite-State Systems, INFINITY'09 (to appear in eptcs), Bologna, Italy, Août 2009. (détails)

Rapport de recherche

1. C. Morvan, Contextual graph grammars characterizing context-sensitive languages, Rapport de recherche IRISA, No 1926, Mars 2009. (détails)
2. Ch. Morvan, S. Pinchinat, Diagnosis of Pushdown Systems, Rapport de recherche IRISA, No 1904, Octobre 2008. (détails)

Divers

1. C. Morvan, S. Pinchinat, Diagnosability of pushdown systems, AutomathA, Juin 2009. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.