Login / Signup
Alban Linard
Publication Activity (10 Years)
Years Active: 2006-2018
Publications (10 Years): 6
Top Topics
Formal Specification
Petri Net
Reactive Systems
Temporal Logic
Top Venues
Trans. Petri Nets Other Model. Concurr.
CoRR
Petri Nets
PNSE@Petri Nets/ACSD
</>
Publications
</>