Embedding CSP in PVS: An Application to Authentication Protocols

View/Open

736_Dutertre&Schneider_05-1997.pdf (3.094Mb)

Series

Department of Computer Science Technical Report;736 - Mat 1997

ISSN

1369-1961

Metadata

Show full item record

Authors

Dutertre, Bruno; Schneider, Steve

URI

http://qmro.qmul.ac.uk/xmlui/handle/123456789/4561

Collections

Department of Computer Science Technical Reports: up to 1999 [86]