Haase, C., Kreutzer, S., Ouaknine, J., & Worrell, J. (2009). Reachability in Succinct and Parametric One−Counter Automata. Springer.
Chicago Style (17th ed.) CitationHaase, C., S. Kreutzer, J. Ouaknine, and 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%准確.