Automatic verification of privacy properties in the applied pi calculus
Bookmark
ShareCopied to clipboardAutomatic verification of privacy properties in the applied pi calculus is a book. It was written by Stéphanie Delaune and published by University of Birmingham in 2007.
Key facts
- author: Stéphanie Delaune
- publication date: 2007
- book publisher: University of Birmingham
- book series: School of Computer Science research reports
- book subjects: Electronic data processing-Distributed processing, Pi-calculus
See more factsExtract data
Download datasets about Automatic verification of privacy properties in the applied pi calculus:
Dataset of books series that contain Automatic verification of privacy properties in the applied pi calculus:
Dataset of book subjects that contain Automatic verification of privacy properties in the applied pi calculus:
"Automatic verification of privacy properties in the applied pi calculus" is one of the books by Stéphanie Delaune, books by University of Birmingham and 2,617,384 books in our database.
Related
Connected or similar to Automatic verification of privacy properties in the applied pi calculus: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.