Login / Signup
Francis Hulin-Hubard
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 5
Top Topics
Model Checking
Finite State
Temporal Properties
Pspace Complete
Top Venues
Trans. Petri Nets Other Model. Concurr.
Petri Nets
Int. J. Softw. Tools Technol. Transf.
ACSD
</>
Publications
</>