Login / Signup
Jack DeJulius
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Coloured Petri Nets
Formal Analysis
Route Discovery
Lightweight
Top Venues
BIGCOM
</>
Publications
</>