iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/atva/NeeleWBP16.xml
Thomas Neele Anton Wijs Dragan Bosnacki Jaco van de Pol Partial-Order Reduction for GPU Model Checking. 357-374 2016 ATVA https://doi.org/10.1007/978-3-319-46520-3_23 conf/atva/2016 db/conf/atva/atva2016.html#NeeleWBP16