On a Prolog Environment for Protocol Analysis.

Giorgos Papapanagiotakis, Pierre Azma, Brigitte Pradin-Chezalviel

Browse the full ICDCS paper archive.