Haase, C., Ouaknine, J., & Worrell, J. (2012). On the relationship between reachability problems in timed and counter automata.
Citação norma ChicagoHaase, C., J. Ouaknine, and J. Worrell. On the Relationship Between Reachability Problems in Timed and Counter Automata. 2012.
Citação norma MLAHaase, C., et al. On the Relationship Between Reachability Problems in Timed and Counter Automata. 2012.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.