Infinite State AMC-Model Checking for Cryptographic Protocols.

Detlef Khler, Ralf Ksters, Tomasz Truderung

Browse the full LICS paper archive.