Login / Signup
Peter Gjøl Jensen
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 50
Top Topics
Model Checking
Partial Order Reduction
Petri Net
Dependency Graphs
Top Venues
CoRR
ATVA
Int. J. Softw. Tools Technol. Transf.
Fundam. Informaticae
</>
Publications
</>