@InBook{	  cremers.ea:comparing:2009,
  author	= {Cas J.F. Cremers and Pascal Lafourcade and Philippe
		  Nadeau},
  booktitle	= {Formal to Practical Security },
  chapter	= 5,
  editor	= {V{\'e}ronique Cortier and Claude Kirchner and Mitsuhiro
		  Okada and Hideki Sakurada},
  isbn		= {978-3-642-02001-8 / 0302-9743 (Print) 1611-3349 (Online)},
  language	= {USenglish},
  pages		= {70--94},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Comparing State Spaces in Automatic Security Protocol
		  Analysis},
  volume	= {5458/2009},
  year		= 2009,
  user		= {cremersc}
}