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

@inproceedings{TUW-221571,
    author = {Bartocci, Ezio and Bortolussi, Luca and Nenzi, Laura and Sanguinetti, Guido},
    title = {On the Robustness of Temporal Properties for Stochastic Models},
    booktitle = {Proceedings of the Second International Workshop on Hybrid Systems and Biology},
    year = {2013},
    pages = {3--19},
    publisher = {Electronic Proceedings on Theoretical Computer Science},
    address = {vol. 125},
    url = {http://publik.tuwien.ac.at/files/PubDat_221571.pdf},
    issn = {2075-2180},
    doi = {10.4204/EPTCS.125.1},
    note = {talk: HSB 2013: the 2nd International Workshop on Hybrid Systems and Biology, Taormina, Italy; 2013-09-02}
}


1 Datensatz ausgegeben