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

@inproceedings{TUW-244697,
    author = {Rajarshi, Ray and Amit, Gurung and Binayak, Das and Bartocci, Ezio and Bogomolov, Sergiy and Grosu, Radu},
    title = {XSpeed: Accelerating Reachability Analysis on MultiCore Processors},
    booktitle = {Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015},
    year = {2015},
    pages = {3--18},
    publisher = {LNCS / Springer},
    address = {9434},
    isbn = {978-3-319-26286-4},
    doi = {10.1007/978-3-319-26287-1},
    note = {talk: the 11th Haifa Verification Conference (HVC), Haifa, Israel; 2015-11-17 -- 2015-11-19}
}


1 Datensatz ausgegeben