Skip to main content

Best paper at CONCUR 2015

Posted:

The paper "Unfolding-based Partial Order Reduction" won the award for the best paper at CONCUR, a leading venue on concurrency theory.

People