@inproceedings{CL2007statespaces,
  author	= {Cas Cremers and Pascal Lafourcade},
  institution	= {ETH Zurich},
  title		= {Comparing State Spaces in Automatic Protocol Verification},
  booktitle	= {Proc. of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07)},
  Series        = {Electronic Notes in Theoretical Computer Science},
  Publisher     = {Elsevier ScienceDirect},
  month		= {September},
  year		= {2007},
  note		= {To appear.},
}