Login / Signup
Perry Alexander
ORCID
Publication Activity (10 Years)
Years Active: 1990-2023
Publications (10 Years): 11
Top Topics
Trusted Computing
Model Checking
Coloured Petri Nets
Formal Verification
Top Venues
HotSoS
NFM
ITP
SERENE
</>
Publications
</>