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

@article{TUW-239520,
    author = {Bartocci, Ezio and Bortolussi, Luca and Nenzi, Laura and Sanguinetti, Guido},
    title = {System Design of Stochastic Models using Robustness of Temporal Properties},
    journal = {Theoretical Computer Science},
    year = {2015},
    volume = {587},
    pages = {3--25},
    doi = {10.1016/j.tcs.2015.02.046}
}


1 Datensatz ausgegeben