%0 Conference Proceedings
%F bouyer:hal-01566436
%A Bouyer, P.
%A Jaziri, S.
%A Markey, N.
%T {On the determinization of timed systems}
%B {FORMATS'17}
%V 10419
%P 25-41
%S Proceedings of the 15th International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'17)
%C Berlin, Germany
%U https://hal.archives-ouvertes.fr/hal-01566436/file/formats2017-BJM.pdf
%U http://dx.doi.org/10.1007/978-3-319-65765-3 2
%8 September
%D 2017