@inproceedings{CLN2009comparing,
  author	= {Cas J.F. Cremers and Pascal Lafourcade and Philippe Nadeau},
  title		= {Comparing State Spaces in Automatic Protocol Analysis},
  booktitle	= {Formal to Practical Security},
  Series        = {Lecture Notes in Computer Science},
  Publisher     = {Springer Berlin / Heidelberg},
  year		= {2009},
  volume	= {5458/2009},
  pages 	= {70-94},
}