An application of justification logic to protocol verification

Date of Publication
2011
Publication Type
Conference Item
Language(s)
en
Contributor(s)
Additional Credits
Title of Event
Access(Rights)
metadata.only
Show full item