VOLUME 5 | 2000 | NUMBER 4 |
Timed Automata with Periodic Clock Constraints
Pages 371–403
Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2000-371, author = {Christian Choffrut and Massimiliano Goldwurm}, title = {Timed Automata with Periodic Clock Constraints}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {5}, number = {4}, pages = {371--403}, year = {2000}, url = {https://doi.org/10.25596/jalc-2000-371}, doi = {10.25596/jalc-2000-371} }