Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}