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

@inproceedings{TUW-233977,
    author = {Bartocci, Ezio and Gao, Sicun and Smolka, Scott A.},
    title = {Medical Cyber-Physical Systems - (Track Introduction)},
    booktitle = {Proc. of ISoLA: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
    year = {2014},
    pages = {353--355},
    doi = {10.1007/978-3-662-45231-8{\_}25},
    note = {invited; talk: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; 2014-10-08 -- 2014-10-11}
}


1 Datensatz ausgegeben