BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-233971,
    author = {Bartocci, Ezio and Bortolussi, Luca and Sanguinetti, Guido},
    title = {Data-driven Statistical Learning of Temporal Properties},
    booktitle = {Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems},
    year = {2014},
    pages = {23--37},
    publisher = {LNCS/Springer},
    address = {vol. 8711},
    isbn = {978-3-319-10511-6},
    doi = {10.1007/978-3-319-10512-3{\_}3},
    note = {talk: 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Florence, Italy; 2014-09-08 -- 2014-09-12}
}


1 Datensatz ausgegeben