Sener, I. Et Al. 2016. Specification and formal verification of safety properties in a point automation system. TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES , vol.24, no.3 , 1384-1396.

Sener, I., Kaymakçı, Ö. t., Üstoğlu, İ., & Cansever, G., (2016). Specification and formal verification of safety properties in a point automation system. TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES , vol.24, no.3, 1384-1396.

Sener, İbrahim Et Al. "Specification and formal verification of safety properties in a point automation system," TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES , vol.24, no.3, 1384-1396, 2016

Sener, İbrahim Et Al. "Specification and formal verification of safety properties in a point automation system." TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES , vol.24, no.3, pp.1384-1396, 2016

Sener, I. Et Al. (2016) . "Specification and formal verification of safety properties in a point automation system." TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES , vol.24, no.3, pp.1384-1396.

@article{article, author={İbrahim ŞENER Et Al. }, title={Specification and formal verification of safety properties in a point automation system}, journal={TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES}, year=2016, pages={1384-1396} }