Under-Approximation Generation using Partial Order Reduction (2005)

Cached

Download Links

by Luboš Brim , Ivana Cerná , Pavel Moravec , Jirí Šimša