%0 Journal Article %1 journals/corr/NigamTU16 %A Nigam, Vivek %A Talcott, Carolyn L. %A Urquiza, Abraão Aires %D 2016 %J CoRR %K dblp %T Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. %U http://dblp.uni-trier.de/db/journals/corr/corr1605.html#NigamTU16 %V abs/1605.08563

@article{journals/corr/NigamTU16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Nigam, Vivek and Talcott, Carolyn L. and Urquiza, Abraão Aires}, biburl = {https://www.bibsonomy.org/bibtex/2b67c9c070da8090328e38e746567a5cd/dblp}, ee = {http://arxiv.org/abs/1605.08563}, interhash = {1d19ab9beebc710f1404490fb03dd7ce}, intrahash = {b67c9c070da8090328e38e746567a5cd}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:51:36.000+0200}, title = {Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1605.html#NigamTU16}, volume = {abs/1605.08563}, year = 2016 }