Sarıkoç, F. 2023. Safety Verification of a Transportation Automaton . Uluslararası Bilişim Kongresi 2023(IIC2023) , (Batman, Turkey), 100-110.

Sarıkoç, F., (2023). Safety Verification of a Transportation Automaton . Uluslararası Bilişim Kongresi 2023(IIC2023) (pp.100-110). Batman, Turkey

Sarıkoç, FATİH. "Safety Verification of a Transportation Automaton ," Uluslararası Bilişim Kongresi 2023(IIC2023) , Batman, Turkey, 2023

Sarıkoç, FATİH. "Safety Verification of a Transportation Automaton ." Uluslararası Bilişim Kongresi 2023(IIC2023) , Batman, Turkey, pp.100-110, 2023

Sarıkoç, F. (2023) . "Safety Verification of a Transportation Automaton ." Uluslararası Bilişim Kongresi 2023(IIC2023) , Batman, Turkey, pp.100-110.

@conferencepaper{conferencepaper, author={FATİH SARIKOÇ}, title={Safety Verification of a Transportation Automaton }, congress name={Uluslararası Bilişim Kongresi 2023(IIC2023) }, city={Batman}, country={Turkey}, year={2023}, pages={100-110} }