%0 Conference Paper %1 conf/hicons/LeeSABP14 %A Lee, Phillip %A Saleh, Omar %A Alomair, Basel %A Bushnell, Linda %A Poovendran, Radha %B HiCoNS %D 2014 %E Bushnell, Linda %E Rohrbough, Larry %E Amin, Saurabh %E Koutsoukos, Xenofon D. %I ACM %K dblp %P 77-84 %T Graph-based verification and misbehavior detection in multi-agent networks. %U http://dblp.uni-trier.de/db/conf/hicons/hicons2014.html#LeeSABP14 %@ 978-1-4503-2652-0

@inproceedings{conf/hicons/LeeSABP14, added-at = {2024-05-07T00:00:00.000+0200}, author = {Lee, Phillip and Saleh, Omar and Alomair, Basel and Bushnell, Linda and Poovendran, Radha}, biburl = {https://www.bibsonomy.org/bibtex/24f0bb74f05a8d9361b3fecc5475bc93c/dblp}, booktitle = {HiCoNS}, crossref = {conf/hicons/2014}, editor = {Bushnell, Linda and Rohrbough, Larry and Amin, Saurabh and Koutsoukos, Xenofon D.}, ee = {https://doi.org/10.1145/2566468.2566477}, interhash = {bd8aaae9aebea8c38fc697954de8fcba}, intrahash = {4f0bb74f05a8d9361b3fecc5475bc93c}, isbn = {978-1-4503-2652-0}, keywords = {dblp}, pages = {77-84}, publisher = {ACM}, timestamp = {2024-05-13T08:19:47.000+0200}, title = {Graph-based verification and misbehavior detection in multi-agent networks.}, url = {http://dblp.uni-trier.de/db/conf/hicons/hicons2014.html#LeeSABP14}, year = 2014 }