%0 Thesis
%A Andrés Sánchez, César
%T Two quantitative extensions to perform formal testing of timed systems
%D 2008
%U https://hdl.handle.net/20.500.14352/54502
%~