@InProceedings{ basin.ea:maude:2001, author = {David Basin and Grit Denker}, booktitle = {Electronic Notes in Theoretical Computer Science}, editor = {Kokichi Futatsugi}, ps = {papers/2001/wrla00.ps.gz}, publisher = {Elsevier Science Publishers}, address = {Amsterdam}, title = {Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis}, volume = 36, year = 2001 }