%0 Book Section
%B Formal Modeling and Analysis of Timed Systems
%D 2014
%G eng
%I Springer International Publishing
%P 23-37
%R 10.1007/978-3-319-10512-3_3
%S Lecture Notes in Computer Science
%T Data-Driven Statistical Learning of Temporal Logic Properties
%U http://dx.doi.org/10.1007/978-3-319-10512-3_3
%V 8711
%@ 978-3-319-10511-6