%0 Conference Proceedings
%F Morvan2009a
%A Morvan, Christophe
%A Pinchinat, Sophie
%T Diagnosability of Pushdown Systems
%B Proceedings of the Haifa Verification Conference, HVC2009
%C Haifa, Israel
%8 October
%D 2009
%K control