FMS @ Petri Nets (2014)
Attributed to:
Analysing Security and Privacy Properties
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Volume: 4
Parent Publication: Du-Vote: Remote Electronic Voting with Unstructured Computers