Login / Signup
Philippe Darondeau
Publication Activity (10 Years)
Years Active: 1974-2015
Publications (10 Years): 0
Top Topics
Timed Petri Nets
Transition Systems
Model Checker
Petri Net
Top Venues
Trans. Petri Nets Other Model. Concurr.
Discret. Event Dyn. Syst.
POST
Log. Methods Comput. Sci.
</>
Publications
</>