Haase, C., Kreutzer, S., Ouaknine, J., & Worrell, J. (2009). Reachability in Succinct and Parametric One−Counter Automata. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Haase, C., S. Kreutzer, J. Ouaknine, ба J. Worrell. Reachability in Succinct and Parametric One−Counter Automata. Springer, 2009.
MLA -ийн эшлэл (9 дэх хэвлэлт)Haase, C., et al. Reachability in Succinct and Parametric One−Counter Automata. Springer, 2009.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.