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

@inproceedings{TUW-233976,
    author = {Bufo, Sara and Bartocci, Ezio and Sanguinetti, Guido and Borelli, Massimo and Lucangelo, Umberto and Bortolussi, Luca},
    title = {Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients},
    booktitle = {Proc. of ISoLA: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
    year = {2014},
    pages = {391--403},
    doi = {10.1007/978-3-662-45231-8{\_}30},
    note = {invited; talk: 6th International Symposium On Leveraging Applications of Formal Methods, Corfu', Greece; 2014-10-08 -- 2014-10-11}
}


1 Datensatz ausgegeben