David A. Basin, Grit Denker
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis
WRLA, 2000.
@article{WRLA-2000-BasinD,
author = "David A. Basin and Grit Denker",
doi = "10.1016/S1571-0661(05)80141-0",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "235--256",
title = "{Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis}",
volume = 36,
year = 2000,
}