T. ÇELEBİ And Ö. T. KAYMAKÇI, "Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines," JOURNAL OF MODERN TRANSPORTATION , vol.24, no.4, pp.277-283, 2016
ÇELEBİ, T. And KAYMAKÇI, Ö. T. 2016. Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines. JOURNAL OF MODERN TRANSPORTATION , vol.24, no.4 , 277-283.
ÇELEBİ, T., & KAYMAKÇI, Ö. T., (2016). Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines. JOURNAL OF MODERN TRANSPORTATION , vol.24, no.4, 277-283.
ÇELEBİ, TUĞCAN, And ÖZGÜR TURAY KAYMAKÇI. "Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines," JOURNAL OF MODERN TRANSPORTATION , vol.24, no.4, 277-283, 2016
ÇELEBİ, TUĞCAN And KAYMAKÇI, ÖZGÜR T. . "Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines." JOURNAL OF MODERN TRANSPORTATION , vol.24, no.4, pp.277-283, 2016
ÇELEBİ, T. And KAYMAKÇI, Ö. T. (2016) . "Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines." JOURNAL OF MODERN TRANSPORTATION , vol.24, no.4, pp.277-283.
@article{article, author={TUĞCAN ÇELEBİ And author={ÖZGÜR TURAY KAYMAKÇI}, title={Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines}, journal={JOURNAL OF MODERN TRANSPORTATION}, year=2016, pages={277-283} }