Decidability of the strict reachability problem for TPN's with rational and real durations | Publicación