Login / Signup
Jan Friso Groote
ORCID
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 69
Top Topics
Active Learning
Mutual Exclusion
Transition Systems
Formal Analysis
Top Venues
CoRR
CONCUR
Sci. Comput. Program.
FACS
</>
Publications
</>