Title of article :
A Note on Deciding Controllability in Pushdown Systems
Author/Authors :
C. Griffin، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
infinite state machines , pushdownsystems. , controllability , Decidability
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
