@inproceedings{CLN09b,
title = {Comparing State Spaces in Automatic Security Protocol Analysis },
author = {Cremers, Cas J. F. and Lafourcade, Pascal and Nadeau, Philippe},
year = {2009},
booktitle = {Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration},
pages = {70-94},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5458},
team = {DCS},
}