Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc050401, author = {Choffrut, Christian and Goldwurm, Massimiliano}, title = {Timed Automata with Periodic Clock Constraints}, journal = jalc, year = 2000, volume = 5, number = 4, pages = {371--403} }