Login / Signup
Mark Bouwman
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 8
Top Topics
State Machines
Formal Model
Concurrent Systems
Automated Analysis
Top Venues
FORTE
CoRR
Formal Aspects Comput.
EXPRESS/SOS
</>
Publications
</>