@InProceedings{	  fokkink.ea:partial:2010,
  author	= {W. Fokkink and M. Torabi Dashti and A. Wijs},
  booktitle	= {ACSD},
  language	= {USenglish},
  publisher	= {IEEE CS},
  title		= {Partial order reduction for branching security protocols},
  year		= 2010,
  user		= {torabidm}
}