Christian Rohr

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 9

Top Topics

Automated Verification

Temporal Properties

Top Venues

Trans. Petri Nets Other Model. Concurr.

Fundam. Informaticae

Publications