Ashraf, S. Et Al. 2021. Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids. 3rd IEEE Global Power, Energy and Communication Conference, GPECOM 2021 , (Virtual, Online, Turkey), 227-232.

Ashraf, S., Evkay, I., Hasan, O., SELAMOĞULLARI, U. S., & BAYSAL, M., (2021). Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids . 3rd IEEE Global Power, Energy and Communication Conference, GPECOM 2021 (pp.227-232). Virtual, Online, Turkey

Ashraf, Sobia Et Al. "Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids," 3rd IEEE Global Power, Energy and Communication Conference, GPECOM 2021, Virtual, Online, Turkey, 2021

Ashraf, Sobia Et Al. "Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids." 3rd IEEE Global Power, Energy and Communication Conference, GPECOM 2021 , Virtual, Online, 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." 3rd IEEE Global Power, Energy and Communication Conference, GPECOM 2021 , Virtual, Online, 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={3rd IEEE Global Power, Energy and Communication Conference, GPECOM 2021}, city={Virtual, Online}, country={Turkey}, year={2021}, pages={227-232} }