Login / Signup
Torsten Liebke
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 9
Top Topics
Finite State
Temporal Logic
Model Checking
Partial Order Reduction
Top Venues
Trans. Petri Nets Other Model. Concurr.
PNSE@Petri Nets
Petri Nets
PNSE@Petri Nets/ACSD
</>
Publications
</>