Haase, C., Kreutzer, S., Ouaknine, J., & Worrell, J. (2009). Reachability in Succinct and Parametric One−Counter Automata. Springer.
芝加哥风格引文Haase, C., S. Kreutzer, J. Ouaknine, 与 J. Worrell. Reachability in Succinct and Parametric One−Counter Automata. Springer, 2009.
MLA引文Haase, C., et al. Reachability in Succinct and Parametric One−Counter Automata. Springer, 2009.
警告:这些引文格式不一定是100%准确.