Ashraf, S. Et Al. 2021. Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids. GPECOM 2021 , (Antalya, Turkey), 227-232.

Ashraf, S., Evkay, İ., Hasan, O., Selamoğulları, U. S., & Baysal, M., (2021). Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids . GPECOM 2021 (pp.227-232). Antalya, Turkey

Ashraf, Sobia Et Al. "Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids," GPECOM 2021, Antalya, Turkey, 2021

Ashraf, Sobia Et Al. "Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids." GPECOM 2021 , Antalya, Turkey, pp.227-232, 2021

Ashraf, S. Et Al. (2021) . "Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids." GPECOM 2021 , Antalya, Turkey, pp.227-232.

@conferencepaper{conferencepaper, author={Sobia Ashraf Et Al. }, title={Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids}, congress name={GPECOM 2021}, city={Antalya}, country={Turkey}, year={2021}, pages={227-232} }