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

@article{TUW-273847,
    author = {Gurung, Amit and Ray, Rajarshi and Bartocci, Ezio and Bogomolov, Sergiy and Grosu, Radu},
    title = {Parallel reachability analysis of hybrid systems in XSpeed},
    journal = {International Journal on Software Tools for Technology Transfer},
    year = {2019},
    volume = {21},
    number = {1},
    pages = {401--423},
    doi = {10.1007/s10009-018-0485-6}
}


1 Datensatz ausgegeben