Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol.

Lin Liu, Jonathan Billington

Browse the full PDCAT paper archive.