Haase, C., Ouaknine, J., & Worrell, J. (2012). On the relationship between reachability problems in timed and counter automata.
Chicago-referens (17:e uppl.)Haase, C., J. Ouaknine, och J. Worrell. On the Relationship Between Reachability Problems in Timed and Counter Automata. 2012.
MLA-referens (9:e uppl.)Haase, C., et al. On the Relationship Between Reachability Problems in Timed and Counter Automata. 2012.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.