Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Etienne Andre
Preserving Partial Order Runs in Parametric Time Petri Nets
Liveness in L/U-Parametric Timed Automata