![[IEEE 2015 IEEE Power & Energy Society General Meeting - Denver, CO, USA (2015.7.26-2015.7.30)] 2015 IEEE Power & Energy Society General Meeting - Automated verification of power system protection schemes - Part I: Modelling and specifications]()
[IEEE 2015 IEEE Power & Energy Society General Meeting - Denver, CO, USA (2015.7.26-2015.7.30)] 2015 IEEE Power & Energy Society General Meeting - Automated verification of power system protection schemes - Part I: Modelling and specificationsSengupta, A; Mukhopadhyay, S; Sinha, A. K. · 2015