Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
scientific article; zbMATH DE number 5155274
scientific article