Haase, C., Ouaknine, J., & Worrell, J. (2012). On the relationship between reachability problems in timed and counter automata.
Dyfyniad Arddull ChicagoHaase, C., J. Ouaknine, and J. Worrell. On the Relationship Between Reachability Problems in Timed and Counter Automata. 2012.
Dyfyniad MLAHaase, C., et al. On the Relationship Between Reachability Problems in Timed and Counter Automata. 2012.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.