Login / Signup

James Heather

ORCID

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 3

Top Topics

Automated Analysis
Cryptographic Protocols
Constraint Satisfaction Problems
Coloured Petri Nets

Top Venues

EVT/WOTE
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Formal Aspects Comput.
Softw. Syst. Model.

Royal Holloway, University of London, UK (PHD)

Education History
Royal Holloway, University of London, UK

PHD

Publications