@inproceedings{ChevalCD-ccs11,
  title = "Trace equivalence decision: negative tests and non-determinism",
  author = "Vincent Cheval and Hubert Comon{-}Lundh and St{\'{e}}phanie Delaune",
  year = "2011",
  booktitle = "Proceedings of the 18th {ACM} Conference on Computer and Communications Security, {CCS} 2011, Chicago, Illinois, USA, October 17-21, 2011",
  editor = "Yan Chen and George Danezis and Vitaly Shmatikov",
  pages = "321--330",
  publisher = "{ACM}",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CCD-ccs11.pdf",
  doi = "10.1145/2046707.2046744",
}