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

@inproceedings{TUW-254946,
    author = {Gurung, Amit and Kumar, Deka Arup and Bartocci, Ezio and Bogomolov, Sergiy and Grosu, Radu and Ray, Rajarshi},
    title = {Parallel Reachability Analysis for Hybrid Systems},
    booktitle = {Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016},
    year = {2016},
    pages = {12--22},
    doi = {10.1109/MEMCOD.2016.7797741},
    note = {talk: Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India; 2016-11-18 -- 2016-11-20}
}


1 Datensatz ausgegeben