أرسل هذا في رسالة قصيرة: On the relationship between reachability problems in timed and counter automata