On Executable Specifications of Finite State Protocol Errors.

Stanley Lee, Suzanne Sluizer

Browse the full ICDCS paper archive.