Tekik, O. Et Al. 2022. Verifying Maze-Like Game Levels With Model Checker SPIN. IEEE Access , vol.10 , 66492-66510.

Tekik, O., Surer, E., & Can, A. B., (2022). Verifying Maze-Like Game Levels With Model Checker SPIN. IEEE Access , vol.10, 66492-66510.

Tekik, Onur, ELİF SÜRER, And AYSU BETİN CAN. "Verifying Maze-Like Game Levels With Model Checker SPIN," IEEE Access , vol.10, 66492-66510, 2022

Tekik, Onur Et Al. "Verifying Maze-Like Game Levels With Model Checker SPIN." IEEE Access , vol.10, pp.66492-66510, 2022

Tekik, O. Surer, E. And Can, A. B. (2022) . "Verifying Maze-Like Game Levels With Model Checker SPIN." IEEE Access , vol.10, pp.66492-66510.

@article{article, author={Onur Tekik Et Al. }, title={Verifying Maze-Like Game Levels With Model Checker SPIN}, journal={IEEE Access}, year=2022, pages={66492-66510} }