%0 Conference Paper %1 conf/ndss/CochranR13 %A Cochran, Robert A. %A Reiter, Michael K. %B NDSS %D 2013 %I The Internet Society %K dblp %T Toward Online Verification of Client Behavior in Distributed Applications. %U http://dblp.uni-trier.de/db/conf/ndss/ndss2013.html#CochranR13

@inproceedings{conf/ndss/CochranR13, added-at = {2021-02-01T00:00:00.000+0100}, author = {Cochran, Robert A. and Reiter, Michael K.}, biburl = {https://www.bibsonomy.org/bibtex/285112cc1ef4cd54fb1502baaff1b8441/dblp}, booktitle = {NDSS}, crossref = {conf/ndss/2013}, ee = {https://www.ndss-symposium.org/ndss2013/toward-online-verification-client-behavior-distributed-applications}, interhash = {20d74f3d779f881ffde99216d39358fc}, intrahash = {85112cc1ef4cd54fb1502baaff1b8441}, keywords = {dblp}, publisher = {The Internet Society}, timestamp = {2024-04-09T15:58:24.000+0200}, title = {Toward Online Verification of Client Behavior in Distributed Applications.}, url = {http://dblp.uni-trier.de/db/conf/ndss/ndss2013.html#CochranR13}, year = 2013 }