DMCA

Guard-based Partial-Order Reduction

by Alfons Laarman , Elwin Pater , Jaco Van De Pol , Michael Weber