F. Comert And T. Ovatman, "Attacking State Space Explosion Problem in Model Checking Embedded TV Software," IEEE TRANSACTIONS ON CONSUMER ELECTRONICS , vol.61, no.4, pp.572-580, 2015
Comert, F. And Ovatman, T. 2015. Attacking State Space Explosion Problem in Model Checking Embedded TV Software. IEEE TRANSACTIONS ON CONSUMER ELECTRONICS , vol.61, no.4 , 572-580.
Comert, F., & Ovatman, T., (2015). Attacking State Space Explosion Problem in Model Checking Embedded TV Software. IEEE TRANSACTIONS ON CONSUMER ELECTRONICS , vol.61, no.4, 572-580.
Comert, Furkan, And Tolga Ovatman. "Attacking State Space Explosion Problem in Model Checking Embedded TV Software," IEEE TRANSACTIONS ON CONSUMER ELECTRONICS , vol.61, no.4, 572-580, 2015
Comert, Furkan And Ovatman, Tolga. "Attacking State Space Explosion Problem in Model Checking Embedded TV Software." IEEE TRANSACTIONS ON CONSUMER ELECTRONICS , vol.61, no.4, pp.572-580, 2015
Comert, F. And Ovatman, T. (2015) . "Attacking State Space Explosion Problem in Model Checking Embedded TV Software." IEEE TRANSACTIONS ON CONSUMER ELECTRONICS , vol.61, no.4, pp.572-580.
@article{article, author={Furkan Comert And author={Tolga Ovatman}, title={Attacking State Space Explosion Problem in Model Checking Embedded TV Software}, journal={IEEE TRANSACTIONS ON CONSUMER ELECTRONICS}, year=2015, pages={572-580} }