Login / Signup
Catherine McCartin
Publication Activity (10 Years)
Years Active: 2000-2023
Publications (10 Years): 2
Top Topics
Java Programs
Reachability Analysis
Timed Automata
Extended Abstract
Top Venues
SITIS
J. Complex Networks
ICSM
Australian Software Engineering Conference
</>
Publications
</>