Login / Signup
Van-François Le
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Knowledge Representation Formalisms
Shortest Path
Endpoints
Top Venues
Petri Nets
</>
Publications
</>
Étienne André
,
Jaime Arias
,
Benoît Barbot
,
Francis Hulin-Hubard
,
Fabrice Kordon
,
Van-François Le
,
Laure Petrucci
CosyVerif: The Path to Formalisms Cohabitation.
Petri Nets
(2024)