@inproceedings{85435ad1e7444a97a50427a228db264d,
title = "Automated Verification of LV Network Topologies",
author = "Maizura Mokhtar and Valentin Robu and David Flynn and Ciaran Higgins and Jim Whyte and Fiona Fulton",
year = "2018",
month = may,
day = "21",
language = "English",
booktitle = "8th IEEE PES Innovative Smart Grid Technologies Conference Europe",
publisher = "IEEE",
address = "United States",
note = "8th IEEE PES Innovative Smart Grid Technologies Conference Europe, 2018 IEEE PES ISGT Europe ; Conference date: 21-10-2018 Through 25-10-2018",
}