@article{AYDIN_GOL2021_523563,
author={EBRU AYDIN GOL},
title={Control synthesis for parametric timed automata under reachability
},
year={2021},
journal={Turkish Journal of Electrical Engineering and Computer Sciences},
issn={1300-0632},
volume={29},
number={3},
url={http://search/yayin/detay/523563}
}