Login / Signup
Catherine A. Meadows
Publication Activity (10 Years)
Years Active: 1984-2023
Publications (10 Years): 19
Top Topics
Coloured Petri Nets
Formal Methods
Lightweight
Equational Theories
Top Venues
CoRR
STM
SSR
IACR Cryptol. ePrint Arch.
</>
Publications
</>