Login / Signup
Kasper Dokter
ORCID
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 9
Top Topics
Probabilistic Automata
Concurrent Systems
Soft Constraints
Petri Net
Top Venues
J. Log. Algebraic Methods Program.
COORDINATION
MeTRiD@ETAPS
TTCS
</>
Publications
</>