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

@article{TUW-296368,
    author = {Bartocci, Ezio and Manjunath, Niveditha and Mariani, Leonardo and Mateis, Cristinel and Nickovic, Dejan},
    title = {CPSDebug: Automatic Failure Explanation in CPS Models},
    journal = {International Journal on Software Tools for Technology Transfer},
    year = {2021},
    volume = {23},
    number = {5},
    pages = {783--796},
    url = {https://link.springer.com/article/10.1007/s10009-020-00599-4},
    doi = {10.1007/s10009-020-00599-4}
}


1 Datensatz ausgegeben