%0 Conference Paper %1 conf/dsn/RahmanJA16 %A Rahman, Mohammad Ashiqur %A Jakaria, A. H. M. %A Al-Shaer, Ehab %B DSN %D 2016 %I IEEE Computer Society %K dblp %P 263-274 %T Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2016.html#RahmanJA16 %@ 978-1-4673-8891-7

@inproceedings{conf/dsn/RahmanJA16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Rahman, Mohammad Ashiqur and Jakaria, A. H. M. and Al-Shaer, Ehab}, biburl = {https://www.bibsonomy.org/bibtex/2d7903c410d559f455218f624e49ca6b7/dblp}, booktitle = {DSN}, crossref = {conf/dsn/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/DSN.2016.32}, interhash = {28951741d6a90abae4caa8343c0da5bb}, intrahash = {d7903c410d559f455218f624e49ca6b7}, isbn = {978-1-4673-8891-7}, keywords = {dblp}, pages = {263-274}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:06:53.000+0200}, title = {Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2016.html#RahmanJA16}, year = 2016 }