Best paper at CONCUR 2015
Posted: 3rd September 2015
The paper "Unfolding-based Partial Order Reduction" won the award for the best paper at CONCUR, a leading venue on concurrency theory.
Posted: 3rd September 2015
The paper "Unfolding-based Partial Order Reduction" won the award for the best paper at CONCUR, a leading venue on concurrency theory.