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

@inproceedings{TUW-233988,
    author = {Bartocci, Ezio and DeFrancisco, Richard and Smolka, Scott A.},
    title = {Towards a GPGPU-parallel SPIN model checker},
    booktitle = {SPIN 2014: International SPIN Symposium on Model Checking of Software},
    year = {2014},
    pages = {87--96},
    publisher = {ACM},
    isbn = {978-1-4503-2452-6},
    doi = {10.1145/2632362.2632379},
    note = {talk: 21th International SPIN Symposium on Model Checking of Software, San Jose, California; 2014-07-21 -- 2014-07-23}
}


1 Datensatz ausgegeben