OZ, M. A. And KAYMAKÇI, Ö. T. 2017. An Automatic Formal Model Generation and Verification Method for Railway Interlocking Systems. GAZI UNIVERSITY JOURNAL OF SCIENCE , vol.30, no.2 , 133-147.

OZ, M. A., & KAYMAKÇI, Ö. T., (2017). An Automatic Formal Model Generation and Verification Method for Railway Interlocking Systems. GAZI UNIVERSITY JOURNAL OF SCIENCE , vol.30, no.2, 133-147.

OZ, Muhammed, And Özgür Turay KAYMAKÇI. "An Automatic Formal Model Generation and Verification Method for Railway Interlocking Systems," GAZI UNIVERSITY JOURNAL OF SCIENCE , vol.30, no.2, 133-147, 2017

OZ, Muhammed A. And KAYMAKÇI, Özgür T. . "An Automatic Formal Model Generation and Verification Method for Railway Interlocking Systems." GAZI UNIVERSITY JOURNAL OF SCIENCE , vol.30, no.2, pp.133-147, 2017

OZ, M. A. And KAYMAKÇI, Ö. T. (2017) . "An Automatic Formal Model Generation and Verification Method for Railway Interlocking Systems." GAZI UNIVERSITY JOURNAL OF SCIENCE , vol.30, no.2, pp.133-147.

@article{article, author={Muhammed Ali Nur ÖZ And author={Özgür Turay KAYMAKÇI}, title={An Automatic Formal Model Generation and Verification Method for Railway Interlocking Systems}, journal={GAZI UNIVERSITY JOURNAL OF SCIENCE}, year=2017, pages={133-147} }