Morvan2009a

Christophe Morvan, Sophie Pinchinat. Diagnosability of Pushdown Systems. In Proceedings of the Haifa Verification Conference, HVC2009, Haifa, Israel, October 2009.

Note on this paper

To appear

Keyword

[ Control ]

Contact

Sophie Pinchinat http://www.irisa.fr/prive/Sophie.Pinchinat/

BibTex Reference

@InProceedings{Morvan2009a,
   Author = {Morvan, Christophe and Pinchinat, Sophie},
   Title = {Diagnosability of Pushdown Systems},
   BookTitle = {Proceedings of the Haifa Verification Conference, HVC2009},
   Address = {Haifa, Israel},
   Month = {October},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)