@article{Puri_2000,
    author = {Anuj Puri},
    Title = {Dynamical Properties of Timed Automata},
    Year = {2000},
    Journal = {Discrete Event Dynamic Systems},
    DOI = {https://dx.doi.org/10.1023/a:1008387132377},
    URL = {https://doi.org/10.1023%2Fa%3A1008387132377},
    date-modified = {2025-10-13 8:12:15 +0100}
}

@article{Puri_2000, author = {Anuj Puri}, Title = {Dynamical Properties of Timed Automata}, Year = {2000}, Journal = {Discrete Event Dynamic Systems}, DOI = {https://dx.doi.org/10.1023/a:1008387132377}, URL = {https://doi.org/10.1023%2Fa%3A1008387132377}, date-modified = {2025-10-13 8:12:15 +0100} }