Handling exp, × (and Timestamps) in Protocol Analysis.

Roberto Zunino, Pierpaolo Degano

Browse the full FOSSACS paper archive.