Login / Signup
Colin Paterson
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 41
Top Topics
Model Checking
Business Processes
Markov Chain
Autonomous Systems
Top Venues
CoRR
SEAMS@ICSE
SAFECOMP
SafeAI@AAAI
</>
Publications
</>