%0 Conference Paper %1 conf/ccs/ChevalCD11 %A Cheval, Vincent %A Comon-Lundh, Hubert %A Delaune, Stéphanie %B ACM Conference on Computer and Communications Security %D 2011 %E Chen, Yan %E Danezis, George %E Shmatikov, Vitaly %I ACM %K dblp %P 321-330 %T Trace equivalence decision: negative tests and non-determinism. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2011.html#ChevalCD11 %@ 978-1-4503-0948-6

@inproceedings{conf/ccs/ChevalCD11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cheval, Vincent and Comon-Lundh, Hubert and Delaune, Stéphanie}, biburl = {https://www.bibsonomy.org/bibtex/20bab3d5bf5735e628e259d6df2b4d893/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2011}, editor = {Chen, Yan and Danezis, George and Shmatikov, Vitaly}, ee = {https://doi.org/10.1145/2046707.2046744}, interhash = {e3a9ad70593b742359c8ef0619d6c3c5}, intrahash = {0bab3d5bf5735e628e259d6df2b4d893}, isbn = {978-1-4503-0948-6}, keywords = {dblp}, pages = {321-330}, publisher = {ACM}, timestamp = {2020-11-11T11:35:55.000+0100}, title = {Trace equivalence decision: negative tests and non-determinism.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2011.html#ChevalCD11}, year = 2011 }