%O Thesis 
%9 PhdThesis 
%F bertrand:tel-01243612
%A Bertrand, N.
%T Contributions to the verification and control of timed and probabilistic models
%I Rennes 1
%U https://hal.inria.fr/tel-01243612/document
%8 November
%D 2015