Webpage of the Modelisation and Verification research team, LIS.
Home
Publications
Seminars
Projects
Softwares
Internship/PhD proposals
Past members
Powered by
Jekyll
&
Ockham
Softwares
Solver for one-clock weighted timed games, by
Julie Parreaux
:
lien