%0 Conference Paper %1 conf/etfa/NigamT19 %A Nigam, Vivek %A Talcott, Carolyn L. %B ETFA %D 2019 %I IEEE %K dblp %P 1043-1050 %T Formal Security Verification of Industry 4.0 Applications. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2019.html#NigamT19 %@ 978-1-7281-0303-7

@inproceedings{conf/etfa/NigamT19, added-at = {2019-10-24T00:00:00.000+0200}, author = {Nigam, Vivek and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2a80d5bba98163976585e4ac019ca52b6/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2019}, ee = {https://doi.org/10.1109/ETFA.2019.8869428}, interhash = {1efbee88ac718d8954820646c069421e}, intrahash = {a80d5bba98163976585e4ac019ca52b6}, isbn = {978-1-7281-0303-7}, keywords = {dblp}, pages = {1043-1050}, publisher = {IEEE}, timestamp = {2019-10-25T11:39:52.000+0200}, title = {Formal Security Verification of Industry 4.0 Applications.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2019.html#NigamT19}, year = 2019 }