%0 Conference Paper %1 conf/atva/NeeleWBP16 %A Neele, Thomas %A Wijs, Anton %A Bosnacki, Dragan %A van de Pol, Jaco %B ATVA %D 2016 %E Artho, Cyrille %E Legay, Axel %E Peled, Doron %K dblp %P 357-374 %T Partial-Order Reduction for GPU Model Checking. %U http://dblp.uni-trier.de/db/conf/atva/atva2016.html#NeeleWBP16 %V 9938 %@ 978-3-319-46519-7

@inproceedings{conf/atva/NeeleWBP16, added-at = {2020-06-15T00:00:00.000+0200}, author = {Neele, Thomas and Wijs, Anton and Bosnacki, Dragan and van de Pol, Jaco}, biburl = {https://www.bibsonomy.org/bibtex/2c0830fc84d375ce2e2ce2d5d57c2ec13/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2016}, editor = {Artho, Cyrille and Legay, Axel and Peled, Doron}, ee = {https://doi.org/10.1007/978-3-319-46520-3_23}, interhash = {d2e768fd32508b0cde984542d13da1a6}, intrahash = {c0830fc84d375ce2e2ce2d5d57c2ec13}, isbn = {978-3-319-46519-7}, keywords = {dblp}, pages = {357-374}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T13:11:03.000+0200}, title = {Partial-Order Reduction for GPU Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2016.html#NeeleWBP16}, volume = 9938, year = 2016 }