Jump to Navigation

Verifying Protocols with Executable Linear Logic

TitleVerifying Protocols with Executable Linear Logic
Publication TypeConference Paper
Year of Publication1998
AuthorsMerino, P., and J. María Troya
Conference NamePre-Proceeding of LOPSTR98
Date Publishedfeb
PublisherUniversity of Manchester


Main menu 2

Biblio | by Dr. Radut