@inproceedings{Wijs2015,
    Address = {Berlin, Heidelberg},
    Author = {Wijs, Anton},
    BookTitle = {Proc. of TACAS'15},
    Editor = {Baier, Christel and Tinelli, Cesare},
    File = {GPUreduce-tacas15 (0) - a - a - f.pdf},
    ISBN = {978-3-662-46681-0},
    Pages = {368--383},
    Publisher = {Springer Berlin Heidelberg},
    Title = {GPU Accelerated Strong and Branching Bisimilarity Checking},
    URL = {http://dx.doi.org/10.1007/978-3-662-46681-0\_29},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-46681-0\_29},
    date-added = {2017-03-01 10:35:28 +0000},
    date-modified = {2017-03-01 10:35:39 +0000},
    doi = {10.1007/978-3-662-46681-0_29}
}

@inproceedings{Wijs2015, Address = {Berlin, Heidelberg}, Author = {Wijs, Anton}, BookTitle = {Proc. of TACAS'15}, Editor = {Baier, Christel and Tinelli, Cesare}, File = {GPUreduce-tacas15 (0) - a - a - f.pdf}, ISBN = {978-3-662-46681-0}, Pages = {368--383}, Publisher = {Springer Berlin Heidelberg}, Title = {GPU Accelerated Strong and Branching Bisimilarity Checking}, URL = {http://dx.doi.org/10.1007/978-3-662-46681-0_29}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-46681-0_29}, date-added = {2017-03-01 10:35:28 +0000}, date-modified = {2017-03-01 10:35:39 +0000}, doi = {10.1007/978-3-662-46681-0_29} }