T. Ovatman Et Al. , "An overview of model checking practices on verification of PLC software," SOFTWARE AND SYSTEMS MODELING , vol.15, no.4, pp.937-960, 2016
Ovatman, T. Et Al. 2016. An overview of model checking practices on verification of PLC software. SOFTWARE AND SYSTEMS MODELING , vol.15, no.4 , 937-960.
Ovatman, T., ARAL, A., POLAT, D., & UNVER, A. O., (2016). An overview of model checking practices on verification of PLC software. SOFTWARE AND SYSTEMS MODELING , vol.15, no.4, 937-960.
Ovatman, Tolga Et Al. "An overview of model checking practices on verification of PLC software," SOFTWARE AND SYSTEMS MODELING , vol.15, no.4, 937-960, 2016
Ovatman, Tolga Et Al. "An overview of model checking practices on verification of PLC software." SOFTWARE AND SYSTEMS MODELING , vol.15, no.4, pp.937-960, 2016
Ovatman, T. Et Al. (2016) . "An overview of model checking practices on verification of PLC software." SOFTWARE AND SYSTEMS MODELING , vol.15, no.4, pp.937-960.
@article{article, author={Tolga Ovatman Et Al. }, title={An overview of model checking practices on verification of PLC software}, journal={SOFTWARE AND SYSTEMS MODELING}, year=2016, pages={937-960} }