TY - ECHAP
AU - Ezio Bartocci
AU - Luca Bortolussi
AU - Guido Sanguinetti
AU - Axel Legay
AU - Marius Bozga
BT - Formal Modeling and Analysis of Timed Systems
DO - 10.1007/978-3-319-10512-3_3
LA - eng
PB - Springer International Publishing
PY - 2014
SN - 978-3-319-10511-6
SP - 23
EP - 37
T2 - Formal Modeling and Analysis of Timed Systems
T3 - Lecture Notes in Computer Science
TI - Data-Driven Statistical Learning of Temporal Logic Properties
UR - http://dx.doi.org/10.1007/978-3-319-10512-3_3
VL - 8711
ER -