Sucu, B. And AYDIN GÖL, E. 2024. Cycle encoding-based parameter synthesis for timed automata safety. Acta Informatica , vol.61, no.4 , 333-356.

Sucu, B., & AYDIN GÖL, E., (2024). Cycle encoding-based parameter synthesis for timed automata safety. Acta Informatica , vol.61, no.4, 333-356.

Sucu, Burkay, And EBRU AYDIN GÖL. "Cycle encoding-based parameter synthesis for timed automata safety," Acta Informatica , vol.61, no.4, 333-356, 2024

Sucu, Burkay And AYDIN GÖL, EBRU A. . "Cycle encoding-based parameter synthesis for timed automata safety." Acta Informatica , vol.61, no.4, pp.333-356, 2024

Sucu, B. And AYDIN GÖL, E. (2024) . "Cycle encoding-based parameter synthesis for timed automata safety." Acta Informatica , vol.61, no.4, pp.333-356.

@article{article, author={Burkay Sucu And author={EBRU AYDIN GÖL}, title={Cycle encoding-based parameter synthesis for timed automata safety}, journal={Acta Informatica}, year=2024, pages={333-356} }