Haase, C., Ouaknine, J., & Worrell, J. (2012). On the relationship between reachability problems in timed and counter automata.
芝加哥风格引文Haase, C., J. Ouaknine, 与 J. Worrell. On the Relationship Between Reachability Problems in Timed and Counter Automata. 2012.
MLA引文Haase, C., et al. On the Relationship Between Reachability Problems in Timed and Counter Automata. 2012.
警告：这些引文格式不一定是100％准确.