Login / Signup
Harro Wimmel
Publication Activity (10 Years)
Years Active: 1997-2020
Publications (10 Years): 12
Top Topics
Transition Systems
Petri Net
Ims Ld
Model Checking
Top Venues
CoRR
Trans. Petri Nets Other Model. Concurr.
Petri Nets
ATAED@Petri Nets/ACSD
</>
Publications
</>