%0 Conference Paper %1 conf/smartgridcomm/AliA13 %A Ali, Muhammad Qasim %A Al-Shaer, Ehab %B SmartGridComm %D 2013 %I IEEE %K dblp %P 468-473 %T Probabilistic model checking for AMI intrusion detection. %U http://dblp.uni-trier.de/db/conf/smartgridcomm/smartgridcomm2013.html#AliA13

@inproceedings{conf/smartgridcomm/AliA13, added-at = {2014-01-12T00:00:00.000+0100}, author = {Ali, Muhammad Qasim and Al-Shaer, Ehab}, biburl = {https://www.bibsonomy.org/bibtex/22eebb6055dcfbc28968ce7b4bd67edf1/dblp}, booktitle = {SmartGridComm}, crossref = {conf/smartgridcomm/2013}, ee = {http://dx.doi.org/10.1109/SmartGridComm.2013.6688002}, interhash = {98b4db475d918ed7bb8ca59a5f46bebd}, intrahash = {2eebb6055dcfbc28968ce7b4bd67edf1}, keywords = {dblp}, pages = {468-473}, publisher = {IEEE}, timestamp = {2014-01-14T15:54:58.000+0100}, title = {Probabilistic model checking for AMI intrusion detection.}, url = {http://dblp.uni-trier.de/db/conf/smartgridcomm/smartgridcomm2013.html#AliA13}, year = 2013 }